Modules§
Structs§
- A details contains the following information about a term:
Enums§
- A term is either:
Functions§
- Compute if the two given terms are equivalent.
- Generate strings matched by the given term.
- Returns the Details of the given term.
- Compute the intersection of the given collection of terms. Returns the resulting term.
- Compute if the first term is a subset of the second one.
- Compute the subtraction/difference of the two given terms. Returns the resulting term.
- Compute the union of the given collection of terms. Returns the resulting term.