Module LogtkUnif.Form

module Form: sig .. end

val variant : ?env1:LogtkUnif.env ->
?env2:LogtkUnif.env ->
?subst:LogtkUnif.subst ->
LogtkFormula.FO.t ->
LogtkUnif.scope -> LogtkFormula.FO.t -> LogtkUnif.scope -> LogtkUnif.res
val are_variant : LogtkFormula.FO.t -> LogtkFormula.FO.t -> bool