Toggle navigation
KiCS2
All operations
All constructors
Curry Homepage
KiCS2 Libraries
About CurryDoc
Index to all constructors
A
A
ABranch
(
FlatCurry.Annotated.Types
)
ACase
(
FlatCurry.Annotated.Types
)
AComb
(
FlatCurry.Annotated.Types
)
AExternal
(
FlatCurry.Annotated.Types
)
AFree
(
FlatCurry.Annotated.Types
)
AFunc
(
FlatCurry.Annotated.Types
)
ALet
(
FlatCurry.Annotated.Types
)
ALit
(
FlatCurry.Annotated.Types
)
ALPattern
(
FlatCurry.Annotated.Types
)
AOr
(
FlatCurry.Annotated.Types
)
APattern
(
FlatCurry.Annotated.Types
)
AProg
(
FlatCurry.Annotated.Types
)
ARule
(
FlatCurry.Annotated.Types
)
ATyped
(
FlatCurry.Annotated.Types
)
AVar
(
FlatCurry.Annotated.Types
)
A