Module Pcoq.Parsable
val make : ?loc:Loc.t -> (unit, char) Gramlib.Stream.t -> tval comments : t -> ((int * int) * string) listval loc : t -> Loc.tval consume : t -> int -> unit with_kwstate
Pcoq.Parsableval make : ?loc:Loc.t -> (unit, char) Gramlib.Stream.t -> tval comments : t -> ((int * int) * string) listval loc : t -> Loc.tval consume : t -> int -> unit with_kwstate