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