Module fungi_lang::decide::apart
[−]
[src]
Decide apartness of two terms (indices, name terms)
Enums
| IdxTmRule |
One side of an index term apartness |
| NmTmRule |
Name term apartness rules |
Functions
| decide_idxtm_apart |
Decide if two index terms are apart under the given context |
| decide_nmtm_apart |
Decide if two name terms are apart under the given context |
Type Definitions
| IdxTmDec | |
| NmTmDec |