2 val _handle_typedef
: bool ref
4 val enable_typedef
: unit -> unit
5 val disable_typedef
: unit -> unit
6 val is_enabled_typedef
: unit -> bool
11 type identkind
= TypeDefI
| IdentI
12 val _typedef
: (string, identkind
) Common.scoped_h_env
ref
14 val add_ident
: string -> unit
15 val add_typedef
: string -> unit
17 val add_typedef_root
: string -> unit
19 val new_scope
: unit -> unit
20 val del_scope
: unit -> unit
22 val is_typedef
: string -> bool
24 val lexer_reset_typedef
:
25 (string, identkind
) Common.scoped_h_env
option (* known typedefs *) -> unit
27 val _old_state
: (string, identkind
) Common.scoped_h_env
ref
28 val save_typedef_state
: unit -> unit
29 val restore_typedef_state
: unit -> unit
41 mutable context_stack
: context
Common.stack
;
44 val _lexer_hint
: lexer_hint
ref
45 val current_context
: unit -> context
46 val push_context
: context
-> unit
47 val pop_context
: unit -> unit
49 val default_hint
: unit -> lexer_hint
51 val is_top_or_struct
: context
-> bool