Logtk.SolidUnif
module T = Term
module US = Unif_subst
module Make : functor (S : sig ... end) -> sig ... end