Module `Pcoq.Entry`

type 'a t

val make : string -> 'a t mod_estate
val parse : 'a t -> Parsable.t -> 'a with_gstate
val name : 'a t -> string

type 'a parser_fun = { parser_fun : keyword_state -> (keyword_state, te) Gramlib.LStream.t -> 'a; }

val of_parser : string -> 'a parser_fun -> 'a t mod_estate
val parse_token_stream : 'a t -> (keyword_state, te) Gramlib.LStream.t -> 'a with_gstate
val print : Stdlib.Format.formatter -> 'a t -> unit with_estate
val is_empty : 'a t -> bool with_estate

type any_t = | Any : 'a t -> any_t

val accumulate_in : 'a t -> any_t list CString.Map.t with_estate