Skip to main content

Module types

charon_lib::ast::type_level

Module types 

Source

Macros§

static_type 🔒

Structs§

DynPredicate
The contents of a dyn Trait type.
Ty
A type.

Enums§

BuiltinAdt
Builtin ADT identifiers.
FloatTy
IntTy
IntegerTy
RefKind
ScalarTy
Types of primitive scalar values.
TyKind
A type.
TypePattern
A type-level pattern used by TyKind::Pattern.
UIntTy