listByIndex(f:A->B,l:A-list): ABlist
STRsetSort(s:STR-set):STR-list
SetsSubst(e:Sets,s:STR->Sets):Sets
Sets2STR(e:Sets):STR
Sets2STRaux(e:Sets):STR
ActionsSubst(f:Actions,s:STR->Sets):Actions
Comp2SEXP(i:Comp,db:Db):SEXP
INIT():SYM
StInherit(i:IdComp,db:Db):Sets
AcInherit(i:IdComp,db:Db):Actions
Comp2TeX(i:IdCom,db:Db):TeX
DUMP():VOID
", k, "(",
The informal semantics of the operators are as follows:
-
listByIndex(f:A->B,l:A-list): ABlist
-
-
STRsetSort(s:STR-set):STR-list
-
-
SetsSubst(e:Sets,s:STR->Sets):Sets
-
-
Sets2STR(e:Sets):STR
-
-
Sets2STRaux(e:Sets):STR
-
-
ActionsSubst(f:Actions,s:STR->Sets):Actions
-
-
Comp2SEXP(i:Comp,db:Db):SEXP
-
-
INIT():SYM
-
-
StInherit(i:IdComp,db:Db):Sets
-
-
AcInherit(i:IdComp,db:Db):Actions
-
-
Comp2TeX(i:IdCom,db:Db):TeX
-
-
DUMP():VOID
-
-
``, k, ''(",
-
Manual(s) of io.cam seq.cam str.cam txt.cam.