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