Generics.BiGUL

Main syntax

data BiGUL s v

data CaseBranch s v

Rearrangement syntax

data Pat a env con

data Var a

data Direction env a

data Expr env a