Module type Grammar.S

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:

type te 
type parsable 
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