module Loc:sig
..end
type
loc =
| |
Unify of |
| |
Argument of |
| |
Unknown of |
val create : string -> int -> int -> loc
val unknown : string -> loc
val argument : loc -> int -> loc
val toString : loc -> string
val isKnown : loc -> bool