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