Lines Matching refs:value
4 datatype ('tok,'nt,'value)pegsym =
5 empty of 'value
6 | any of 'tok -> 'value
7 | tok of ('tok -> bool) * ('tok -> 'value)
8 | nt of 'nt * ('value -> 'value)
9 | seq of ('tok,'nt,'value)pegsym * ('tok,'nt,'value)pegsym * ('value -> 'value -> 'value)
10 | choice of ('tok,'nt,'value)pegsym * ('tok,'nt,'value)pegsym * ('value -> 'value) * ('value -> 'value)
11 | rpt of ('tok,'nt,'value)pegsym * ('value list -> 'value)
12 | not of ('tok,'nt,'value)pegsym * 'value
14 datatype ('tok,'nt,'value) grammar = PEG of { start : ('tok,'nt,'value)pegsym, rules : 'nt -> ('tok,'nt,'value)pegsym option }
16 datatype ('source,'tok,'nt,'value)kont =
17 ksym of ('tok,'nt,'value)pegsym * ('source,'tok,'nt,'value)kont * ('source,'tok,'nt,'value)kont
18 | appf1 of ('value -> 'value) * ('source,'tok,'nt,'value)kont
19 | appf2 of ('value -> 'value -> 'value) * ('source,'tok,'nt,'value)kont
20 | returnTo of 'source * 'value option list * ('source,'tok,'nt,'value)kont
21 | poplist of ('value list -> 'value) * ('source,'tok,'nt,'value)kont
22 | listsym of ('tok,'nt,'value)pegsym * ('value list -> 'value) * ('source,'tok,'nt,'value)kont