| TUnif of string * typ option ref
(* Unification variable to be determined during type-checking *)
withtype typ = typ' * position
| TUnif of string * typ option ref
(* Unification variable to be determined during type-checking *)
withtype typ = typ' * position