Module type Camlp4.Sig.Grammar.Dynamic

module type Dynamic = sig .. end

include Camlp4.Sig.Grammar.Structure

val mk : unit -> gram

module Entry: sig .. end

val get_filter : gram -> Camlp4.Sig.Token.Filter.t

type 'a not_filtered 

val extend : 'a Entry.t -> extend_statment -> unit

val delete_rule : 'a Entry.t -> delete_statment -> unit

val srules : 'a Entry.t ->
       (symbol list * Camlp4.Sig.Grammar.Action.t) list -> symbol

val sfold0 : ('a -> 'b -> 'b) -> 'b -> ('c, 'a, 'b) fold

val sfold1 : ('a -> 'b -> 'b) -> 'b -> ('c, 'a, 'b) fold

val sfold0sep : ('a -> 'b -> 'b) -> 'b -> ('c, 'a, 'b) foldsep

val lex : gram ->
       Camlp4.Sig.Loc.t ->
       char Stream.t ->
       (Camlp4.Sig.Token.t * Camlp4.Sig.Loc.t) Stream.t
       not_filtered

val lex_string : gram ->
       Camlp4.Sig.Loc.t ->
       string ->
       (Camlp4.Sig.Token.t * Camlp4.Sig.Loc.t) Stream.t
       not_filtered

val filter : gram ->
       (Camlp4.Sig.Token.t * Camlp4.Sig.Loc.t) Stream.t
       not_filtered -> token_stream

val parse : 'a Entry.t ->
       Camlp4.Sig.Loc.t -> char Stream.t -> 'a

val parse_string : 'a Entry.t -> Camlp4.Sig.Loc.t -> string -> 'a

val parse_tokens_before_filter : 'a Entry.t ->
       (Camlp4.Sig.Token.t * Camlp4.Sig.Loc.t) Stream.t
       not_filtered -> 'a

val parse_tokens_after_filter : 'a Entry.t -> token_stream -> 'a