ADT
|
|
1 (Data Constructor)
|
Generics.SOP.Metadata
,
Generics.SOP
|
2 (Data Constructor)
|
Generics.SOP.Type.Metadata
|
All
|
Generics.SOP.Constraint,
Generics.SOP
|
All2
|
Generics.SOP.Constraint,
Generics.SOP
|
all2
|
Generics.SOP.Dict
|
AllF
|
Generics.SOP.Constraint
|
AllN
|
Generics.SOP.Constraint,
Generics.SOP
|
AllZip
|
Generics.SOP.Constraint,
Generics.SOP
|
AllZip2
|
Generics.SOP.Constraint,
Generics.SOP
|
AllZipF
|
Generics.SOP.Constraint
|
AllZipN
|
Generics.SOP.Constraint,
Generics.SOP
|
all_NP
|
Generics.SOP.Dict
|
all_POP
|
Generics.SOP.Dict
|
ana_NP
|
Generics.SOP.NP
|
ana_NS
|
Generics.SOP.NS
|
And
|
Generics.SOP.Constraint,
Generics.SOP
|
apFn
|
Generics.SOP.Classes,
Generics.SOP
|
apInjs'_NP
|
Generics.SOP.NS
|
apInjs'_POP
|
Generics.SOP.NS
|
apInjs_NP
|
Generics.SOP.NS,
Generics.SOP
|
apInjs_POP
|
Generics.SOP.NS,
Generics.SOP
|
ap_NP
|
Generics.SOP.NP
|
ap_NS
|
Generics.SOP.NS
|
ap_POP
|
Generics.SOP.NP
|
ap_SOP
|
Generics.SOP.NS
|
Associativity
|
Generics.SOP.Metadata
,
Generics.SOP.Type.Metadata
,
Generics.SOP
|