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, "(",
The informal semantics of the operators are as follows:
Manual(s)
of io.cam seq.cam str.cam txt.cam.
No autor