Module `Cduce_lib.Parse`

val top_phrases : char Stdlib.Stream.t -> Cduce_core.Ast.pmodule_item list
val prog : char Stdlib.Stream.t -> Cduce_core.Ast.pmodule_item list
val pat : char Stdlib.Stream.t -> Cduce_core.Ast.ppat
val expr : char Stdlib.Stream.t -> Cduce_core.Ast.pexpr
val sync : unit -> unit
val dump_tokens : Stdlib.Format.formatter -> char Stdlib.Stream.t -> unit