Module Logtk.UnifFramework

module S = Subst
module LL = OSeq
module T = Term
module type PARAMETERS = sig ... end
val take_fair : Subst.t option OSeq.t OSeq.t -> Subst.t option OSeq.t
module Make : functor (X : PARAMETERS) -> sig ... end