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§

BuiltinTy
Builtin types identifiers.
FloatTy
IntTy
IntegerTy
LiteralTy
Types of primitive values. Either an integer, bool, char
RefKind
TyKind
TypePattern
A type-level pattern used by TyKind::Pattern.
UIntTy