Module fungi_lang::decide::apart

Decide apartness of two terms (indices, name terms)

Enums

IdxTmRule

Index term apartness rules

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