module GMake:
| Parameters: |
|
type te
type parsable
val parsable : char Stream.t -> parsableval tokens : string -> (string * int) listval glexer : te Plexing.lexerval set_algorithm : Grammar.parse_algorithm -> unitmodule 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 -> unitval delete_rule : 'a Entry.e -> te Gramext.g_symbol list -> unit