Commit 4b1b1b19 by POTTIER Francois

Add [SortUnification.ground_star].

parent eb6ac8df
......@@ -60,6 +60,9 @@ type sort = term =
type ground_sort =
| GArrow of ground_sort list
let ground_star =
GArrow []
(* -------------------------------------------------------------------------- *)
(* Sort constructors. *)
......
......@@ -32,6 +32,8 @@ type sort =
type ground_sort =
| GArrow of ground_sort list
val ground_star: ground_sort
(* -------------------------------------------------------------------------- *)
(* Sort unification. *)
......
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