Module Unif_constr.FO

val make : tags:Proof.tag list -> Term.t Scoped.t -> Term.t Scoped.t -> t