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