diff options
Diffstat (limited to 'cparser/Builtins.mli')
-rw-r--r-- | cparser/Builtins.mli | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/cparser/Builtins.mli b/cparser/Builtins.mli index 853bae93..be0d941f 100644 --- a/cparser/Builtins.mli +++ b/cparser/Builtins.mli @@ -13,5 +13,12 @@ (* *) (* *********************************************************************) -val builtin_env : Env.t -val builtin_idents: C.ident list +val environment: unit -> Env.t +val identifiers: unit -> C.ident list + +type t = { + typedefs: (string * C.typ) list; + functions: (string * (C.typ * C.typ list * bool)) list +} + +val set: t -> unit |