Up – logtk » Logtk » Unif_constr » FO

Module `Unif_constr.FO`

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