val from : (int -> 'a option) -> 'a tval of_list : 'a list -> 'a tval of_string : string -> char tval iter : ('a -> unit) -> 'a t -> unitval next : 'a t -> ('a * 'a t) optionval empty : 'a t -> (unit * 'a t) optionval count_unfrozen : 'a t -> inttype (!'a, !'b) kont = | K of unit -> ('b * 'a t * ('a, 'b) kont) option
type (!'a, !'b) bp = 'a t -> ('b * 'a t * ('a, 'b) kont) optionval bcontinue : ('a, 'b) kont -> ('b * 'a t * ('a, 'b) kont) optionval bparse_all : ('a, 'b) bp -> 'a t -> 'b listval cons : 'a -> 'a t -> 'a dataval app : 'a t -> 'a t -> 'a dataval flazy : (unit -> 'a data) -> 'a tval b_seq : ('a, 'b) bp -> ('b -> ('a, 'c) bp) -> ('a, 'c) bpval b_or : ('a, 'b) bp -> ('a, 'b) bp -> ('a, 'b) bpval b_term : ('a -> 'b option) -> ('a, 'b) bpval b_act : 'b -> ('a, 'b) bp