CCons

Model

CNil

Model

CanBeRefined

Model

Compat

seals core

Composite

Model

Coproduct

Model

Ctx

Model

cCons

Unfolder

cConsCanBeRefined

CanBeRefined

cNil

Unfolder

checkType

CCons Composite HCons

close

Reified

combine

CanBeRefined ReprFormat

compEq

Model Atom CNil Composite HCons HNil Vector

compatible

Model

core

seals