Module fungi_lang::decide::subset[−][src]

Decide subset relationships over name sets, index terms and types

Enums

Index term equivalence rules

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