Convert a bindings object to a compact string. This is mainly useful for internal indexing purposes.
This function is guaranteed to not produce clashing bindings for unequal terms.
This function will not sort the variables and expects them to be in the same order for every call.
A bindings object.
The variables to consider when converting the bindings to a string.
Convert a bindings object to a compact string. This is mainly useful for internal indexing purposes.
This function is guaranteed to not produce clashing bindings for unequal terms.
This function will not sort the variables and expects them to be in the same order for every call.