Skip to main content

Module unify

Module unify 

Source

Enums§

UnifyError

Functions§

unify
Unify the variables of an unquotiented open hypergraph with nodes labels Option<O>.