☰
In move_model::ty
Structs
Substitution
TypeDisplay
TypeInstantiationDerivation
TypeUnificationAdapter
Enums
PrimitiveType
Type
TypeDisplayContext
TypeUnificationError
Variance
Constants
BOOL_TYPE
NUM_TYPE
?
Constant
move_model
::
ty
::
NUM_TYPE
source
·
[
−
]
pub const NUM_TYPE:
Type
;