Module ferrite_session::row

Structs

AppliedSum
ChoiceSelector
ElimConst
Merge

Enums

Bottom
Sum

Traits

ElimField
ElimSum
ExtractRow
HasRow
HasRowWitness
InjectLift
IntersectSum
Prism
RowApp
RowCon
RowWitnessCont
SplitRow
SumFunctor
SumFunctorInject
UncloakRow

Functions

absurd
cloak_row
extract
get_row
lift_sum_inject