NAME


SYNOPSYS

 TAXDUMP(i:NAT):VOID
 listByIndex(f:A->B,l:A-list): ABlist
 STRsetSort(s:STR-set):STR-list
 llg2tax(g:LLGraph):Tax
 llg2taxAux(g:LLGraph,S:Classes):Tax
 tax2txt(t:Tax,a:NAT,b:NAT):txt
 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,r:IdAccao->IdAccao,db:Db):Actions
 Comp2TeX(i:IdCom,db:Db):TeX
 DUMP():VOID
 ", k, "(",


DESCRIPTION

The informal semantics of the operators are as follows:

TAXDUMP(i:NAT):VOID
listByIndex(f:A->B,l:A-list): ABlist
STRsetSort(s:STR-set):STR-list
llg2tax(g:LLGraph):Tax
llg2taxAux(g:LLGraph,S:Classes):Tax
tax2txt(t:Tax,a:NAT,b:NAT):txt
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,r:IdAccao->IdAccao,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.


AUTHOR

No autor