[r2004-06-28 17:33:38 by afrisch] Forgot those ones

Original author: afrisch
Date: 2004-06-28 17:33:38+00:00

types/externals.ml

+let nb_ext_syms = ref 0
+
+let alloc () =
+  let i = !nb_ext_syms in
+  incr nb_ext_syms;
+  i
+
+let nb () = !nb_ext_syms
+
+let resolve = ref (fun i s args -> assert false)

types/externals.mli

+val alloc : unit -> int
+val nb: unit -> int
+
+val resolve: ref (int -> string -> Types.Node.t list -> Types.t)