Up – Package index » logtk » Library logtk » Logtk » FixpointUnif

Module `Logtk.FixpointUnif`Source

Sourcemodule T = Term

Sourcemodule US = Unif_subst

val unify_scoped : 
  ?subst:US.t ->
  ?counter:int ref ->
  T.t Scoped.t ->
  T.t Scoped.t ->
  US.t