module type S = sig end
Signature type of the functor
Grammar.GMake. The types and
functions are almost the same than in generic interface, but:
- Grammars are not values. Functions holding a grammar as parameter
do not have this parameter yet.
- The type
parsable is used in function parse instead of
the char stream, avoiding the possible loss of tokens.
- The type of tokens (expressions and patterns) can be any
type (instead of (string * string)); the module parameter
must specify a way to show them as (string * string)
type
type
val parsable : char Stream.t -> parsable
val tokens : string -> (string * int) list
val glexer : te Token.glexer
module Entry: sig end
module Unsafe: sig end
val extend : 'a Entry.e ->
Gramext.position option ->
(string option * Gramext.g_assoc option *
(te Gramext.g_symbol list * Gramext.g_action) list)
list -> unit
val delete_rule : 'a Entry.e -> te Gramext.g_symbol list -> unit