equal
deleted
inserted
replaced
28 val parens: 'a parser -> 'a parser |
28 val parens: 'a parser -> 'a parser |
29 val bracks: 'a parser -> 'a parser |
29 val bracks: 'a parser -> 'a parser |
30 val mode: string -> bool parser |
30 val mode: string -> bool parser |
31 val maybe: 'a parser -> 'a option parser |
31 val maybe: 'a parser -> 'a option parser |
32 val cartouche_inner_syntax: string parser |
32 val cartouche_inner_syntax: string parser |
33 val cartouche_source_position: (Symbol_Pos.text * Position.T) parser |
33 val cartouche_source_position: Symbol_Pos.source parser |
34 val name_inner_syntax: string parser |
34 val name_inner_syntax: string parser |
35 val name_source_position: (Symbol_Pos.text * Position.T) parser |
35 val name_source_position: Symbol_Pos.source parser |
36 val name: string parser |
36 val name: string parser |
37 val binding: binding parser |
37 val binding: binding parser |
38 val alt_name: string parser |
38 val alt_name: string parser |
39 val symbol: string parser |
39 val symbol: string parser |
40 val liberal_name: string parser |
40 val liberal_name: string parser |