sig
  type t
  val empty : Coercion.t
  val add : Coercion.t -> Term.lsymbol -> Coercion.t
  val find : Coercion.t -> Ty.ty -> Ty.ty -> Term.lsymbol list
  val union : Coercion.t -> Coercion.t -> Coercion.t
end