Module fungi_lang::decide::apart
[−]
[src]
Decide apartness of two terms (indices, name terms)
Enums
IdxTmRule |
Index term apartness rule |
IdxTmSide |
One side of an index term apartness |
NmTmRule |
Name term apartness rule |
NmTmSide |
One side of a name term apartness |
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 |