sig
  val v : unit -> 'a
  val check : 'a -> bool
  val get_id : 'a -> int
  val compare : 'a -> 'b -> int option
  type subst
  val show : 'a -> string
  val shows : Untyped_unify.subst -> string
  val unify : 'a -> 'b -> Untyped_unify.subst
end