gamma ~master (2021-10-12T13:52:47Z)
Dub
Repo
NextDom
epsilon
eag
Undocumented in source.
int
NextDom
;
Meta
Source
See Implementation
epsilon
eag
classes
Alt
Factor
Grp
Nont
Opt
Rep
Rule
Term
enums
analysed
functions
AppDom
AppMemb
AppParam
Expand
FindHNont
FindHTerm
FindMNont
FindMTerm
FindVar
HNontRepr
HTermRepr
Init
NamedHNontRepr
NewAlt
NewAnonymNont
NewGrp
NewMAlt
NewNont
NewOpt
NewRep
NewTerm
Performed
SigOK
VarRepr
WellMatched
assign
structs
HNontRecord
HTermRecord
MAltRecord
MNontRecord
MTermRecord
ParamRecord
ParamsDesc
ScopeDesc
VarRecord
variables
All
BaseName
CurSig
DomBuf
HNont
HTerm
History
MAlt
MNont
MTerm
MaxMArity
MembBuf
NOAlt
NOGrp
NONont
NOOpt
NORep
NOTerm
NextAnonym
NextDom
NextHAlt
NextHFactor
NextHNont
NextHTerm
NextMAlt
NextMNont
NextMTerm
NextMemb
NextNode
NextParam
NextVar
NodeBuf
Null
ParamBuf
Pred
Prod
Reach
Scope
StartSym
Var
empty
firstDom
firstHAlt
firstHFactor
firstHNont
firstHTerm
firstMAlt
firstMNont
firstMTerm
firstMemb
firstNode
firstParam
firstVar
nil
symbolTable