Module type_level 

Re-exports

pub use regions::*;

pub use substitute::*;

pub use trait_proofs::*;

pub use types::*;

pub use vars::*;

Modules

regions

substitute

trait_proofs

types

vars

Type-level variables. There are 4 kinds of variables at the type-level: regions, types, const generics and trait clauses. The relevant definitions are in this module.

Macros

mk_index_impls 🔒

Delegate Index implementations to subfields.

Structs

Binder

A value of type T bound by generic parameters. Used in any context where we’re adding generic parameters that aren’t on the top-level item, e.g. for<'a> clauses (uses RegionBinder for now), trait methods, GATs (TODO).

GenericArgs

A set of generic arguments.

GenericParams

Generic parameters for a declaration, including predicates.

OutlivesPred

.0 outlives .1

RegionBinder

A value of type T bound by regions. We should use binder instead but this causes name clash issues in the derived ocaml visitors.

TraitTypeConstraint

A constraint over a trait associated type.

Enums

BinderKind

Traits

HasIdxVecOf

Type Aliases

BoxedArgs

PolyTraitDeclRef

A quantified trait predicate, e.g. for<'a> Type<'a>: Trait<'a, Args>.

RegionOutlives

TypeOutlives