package logtk
-
logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val variant :
?env1:env ->
?env2:env ->
?subst:subst ->
LogtkFormula.FO.t ->
scope ->
LogtkFormula.FO.t ->
scope ->
resval are_variant : LogtkFormula.FO.t -> LogtkFormula.FO.t -> bool