Module functional 

Modules

base

nat

public

row

type_app

Structs

App

AppSum

ChoiceSelector

S

Z

Enums

Bottom

Sum

Traits

FlattenSumApp

HasSumApp

HasTypeApp

Nat

NaturalTransformation

Prism

RowCon

SumApp

SumFunctor

ToRow

TyCon

TypeApp

Functions

absurd

extract_choice

get_sum

get_sum_borrow

lift_sum

succ