Module fungi_lang::decide::subset

source ·
Expand description

Decide subset relationships over name sets, index terms and types

Enums

IdxTmRule
Index term equivalence rules

Functions

decide_ceffect_subset
Decide computation effect subset relation
decide_ceffect_subset_db
decide_ceffect_subset_rec
Decide computation effect subset relation
decide_ctype_subset
Decide computation type subset relation
decide_effect_subset
Decide effect subset relation
decide_idxtm_subset
Decide name set subset relation.
decide_idxtm_subset_db
decide_idxtm_subset_simple
Decide name set subset relation.
decide_idxtm_subset_speculative
Decide name set subset relation.
decide_nmsettm_subset
Decide name set subset relation.
decide_nmsettm_subset_simple
Decide name set subset relation.
decide_nmsettm_subset_speculative
Decide name set subset relation.
decide_prop
Decide if a proposition is true under the given context
decide_type_subset
Decide type subset relation
decide_type_subset_norm
Decide type subset relation on normalized versions of the given terms.
decide_type_subset_norm_db
decide_type_subset_rec
Decide type subset relation

Type Definitions

IdxTmDec