Commit 6bad6a1f authored by POTTIER Francois's avatar POTTIER Francois

Rename [SortInference.infer_grammar] to [infer].

parent 295090e1
......@@ -217,7 +217,7 @@ let check_grammar env g =
type sorts =
ground_sort Env.t
let infer_grammar (g : grammar) : sorts =
let infer (g : grammar) : sorts =
(* For each (terminal or nonterminal) symbol, allocate a unification
variable. The terminal symbols have sort [star], so we can use
......
......@@ -20,4 +20,4 @@ open SortUnification
type sorts = ground_sort StringMap.t
val infer_grammar: grammar -> sorts
val infer: grammar -> sorts
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment