Module Pcoq.Entry
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
val accumulate_in : 'a t -> any_t list CString.Map.t with_estate