Functor Camlp4.Struct.Grammar.Insert.Make

module Make: 
functor (Structure : Camlp4.Struct.Grammar.Structure.S) -> sig .. end

module Tools: Camlp4.Struct.Grammar.Tools.Make(Structure)

module Parser: Camlp4.Struct.Grammar.Parser.Make(Structure)

val is_before : Structure.symbol -> Structure.symbol -> bool

val derive_eps : Structure.symbol -> bool

val tree_derive_eps : Structure.tree -> bool

val empty_lev : string option -> Camlp4.Sig.Grammar.assoc option -> Structure.level

val change_lev : Structure.internal_entry ->
       Structure.level ->
       string -> string option -> Camlp4.Sig.Grammar.assoc option -> Structure.level

val change_to_self : Structure.internal_entry -> Structure.symbol -> Structure.symbol

val get_level : Structure.internal_entry ->
       Camlp4.Sig.Grammar.position option ->
       Structure.level list ->
       Structure.level list *
       (string option -> Camlp4.Sig.Grammar.assoc option -> Structure.level) *
       Structure.level list

val check_gram : Structure.internal_entry -> Structure.symbol -> unit

val tree_check_gram : Structure.internal_entry -> Structure.tree -> unit

val get_initial : Structure.symbol list -> bool * Structure.symbol list

val insert_tokens : Structure.gram -> Structure.symbol list -> unit

val insert_tree : Structure.internal_entry ->
       Structure.symbol list ->
       Structure.Action.t -> Structure.tree -> Structure.tree

val insert_level : Structure.internal_entry ->
       bool ->
       Structure.symbol list ->
       Structure.Action.t -> Structure.level -> Structure.level

val levels_of_rules : Structure.internal_entry ->
       Camlp4.Sig.Grammar.position option ->
       (string option * Camlp4.Sig.Grammar.assoc option *
        (Structure.symbol list * Structure.Action.t) list)
       list -> Structure.level list

val extend : Structure.internal_entry ->
       Camlp4.Sig.Grammar.position option *
       (string option * Camlp4.Sig.Grammar.assoc option *
        (Structure.symbol list * Structure.Action.t) list)
       list -> unit