charon_
lib
0.1.107
In charon_
lib::
ast::
types
Modules
vars
Structs
Binder
BindingStack
ClosureInfo
ConstGenericVar
ConstGenericVarId
DeBruijnId
DiscriminantLayout
ExistentialPredicate
Field
FieldId
FunSig
GenericArgs
GenericParams
Layout
OutlivesPred
RegionBinder
RegionId
RegionVar
TraitClause
TraitClauseId
TraitDeclRef
TraitImplRef
TraitRef
TraitTypeConstraint
TraitTypeConstraintId
Ty
TypeDecl
TypeDeclRef
TypeVar
TypeVarId
VTable
Variant
VariantId
VariantLayout
Enums
BinderKind
BuiltinTy
ClosureKind
ConstGeneric
DeBruijnVar
FloatTy
IntegerTy
LiteralTy
PredicateOrigin
PtrMetadata
RefKind
Region
TagEncoding
TraitRefKind
TyKind
TypeDeclKind
TypeId
Type Aliases
BoxedArgs
ByteCount
ClauseDbVar
ConstGenericDbVar
PolyTraitDeclRef
RegionDbVar
RegionOutlives
TypeDbVar
TypeOutlives
charon_lib
::
ast
::
types
Type Alias
ByteCount
Copy item path
Settings
Help
Summary
Source
type ByteCount =
u64
;