Lines Matching refs:list
26 val many : ('a -> 'b * 'a) -> 'a -> 'b list * 'a
27 val atleastone : ('a -> 'b * 'a) -> 'a -> 'b list * 'a
33 val everything : ('a, 'b list) parser -> 'a stream -> 'b stream
41 type infixities = {tok : string, prec : int, left_assoc : bool} list
46 val optoks : infixities -> string list
47 val parse_left_infix : string list -> 'a con -> 'a iparser -> 'a iparser
48 val parse_right_infix : string list -> 'a con -> 'a iparser -> 'a iparser
50 val pp_left_infix : string list -> 'a des -> 'a iprinter -> 'a iprinter
51 val pp_right_infix : string list -> 'a des -> 'a iprinter -> 'a iprinter
65 type 'a quotation = 'a frag list