Introduction
Creation Functions
Creation of Coproducts cop< S1, S2, ..., Sk > : Str, Str, ... -> 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 -> Str Index(x) : CopElt -> RngIntElt
Retrieve Retrieve(x) : CopElt -> Elt Example Cop_cop (H14E1)
Flattening Flat(C) : Cop -> Cop
Universal Map UniversalMap(C, S, [ n1, ..., nm ]) : Cop, Str, [ Map ] -> Map [Next][Prev] [Right] [____] [Up] [Index] [Root]
