NAME


SYNOPSYS

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, "(",


DESCRIPTION

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, ''(",


SEE ALSO

Manual(s) of io.cam seq.cam str.cam txt.cam.