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