module Entry: sig end
Module to handle entries.
-
Entry.e is the type for entries returning values of type 'a.
-
Entry.create g n creates a new entry named n in the grammar g.
-
Entry.parse e returns the stream parser of the entry e.
-
Entry.parse_token e returns the token parser of the entry e.
-
Entry.name e returns the name of the entry e.
-
Entry.of_parser g n p makes an entry from a token stream parser.
-
Entry.print e displays the entry e using Format.
-
Entry.find e s finds the entry named s in e's rules.
-
Entry.obj e converts an entry into a Gramext.g_entry allowing
- to see what it holds (
Gramext is visible, but not documented).
type 'a e
val create : Grammar.g -> string -> 'a e
val parse : 'a e -> char Stream.t -> 'a
val parse_token : 'a e -> Token.t Stream.t -> 'a
val name : 'a e -> string
val of_parser : Grammar.g -> string -> (Token.t Stream.t -> 'a) -> 'a e
val print : 'a e -> unit
val find : 'a e -> string -> Obj.t e
val obj : 'a e -> Token.t Gramext.g_entry