Creation of Coproducts
cop< S_1, S_2, ..., S_k > : Struct, Struct, ... -> Cop, [ Map ]
Creation of Coproduct Elements
m(e) : Map, Elt -> CopElt
C ! e : Cop, Elt -> CopElt
Accessing functions
Injections(C) : Cop -> [ Map ]
# C : Cop -> RngIntElt
Constituent(C, i) : Cop, RngIntElt -> Struct
Index(x) : CopElt -> RngIntElt
Retrieve
Retrieve(x) : CopElt -> Elt
Example Coproduct_cop (H11E1)
Flattening
Flat(C) : Cop -> Cop
Universal Map
UniversalMap(C, S, [ n_1, ..., n_m ]) : Cop, Str, [ Map ] -> Map