List of all items

Structs

• Refl
• elim_helpers::MLReflCase
• lift::Ap
• lift::ApTyFun0
• lift::ApTyFun1
• lift::Compose
• lift::Cons
• lift::Const
• lift::ConstTyFun
• lift::Flip
• lift::FlipTyFun
• lift::Flipped
• lift::Id
• lift::LiFunToTyFun
• lift::LiToTy
• lift::Nil
• lift::TyFunToLiFun
• lift::Uncurry

Traits

• Equals
• Identity
• lift::Exists
• lift::Forall
• lift::LiFun
• lift::Pi
• lift::Sigma
• lift::TyFun
• lift::TyList
• lift::TysFun

Macros

• ty_list

Functions

• lift::ty_and_then
• lift::ty_ap
• lift::ty_compose
• lift::ty_const
• lift::ty_flip
• lift::ty_id
• refl

Type Aliases

• lift::AndThen
• lift::TyPair
• lift::TyTriple