Make (u.71670836abf97ab8c12135ebbc8c29bb.logtk.2.1.doc.logtk.Logtk.PUnif.Make)

module S : sig ... end

val unify_scoped : 
  Logtk.UnifFramework.T.t Scoped.t ->
  Logtk.UnifFramework.T.t Scoped.t ->
  Logtk.UnifFramework.US.t option OSeq.t

val unify_scoped_l : 
  Logtk.UnifFramework.T.t list Scoped.t ->
  Logtk.UnifFramework.T.t list Scoped.t ->
  Logtk.UnifFramework.US.t option OSeq.t

Module `PUnif.Make`