115560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot(* -*- tuareg -*- *)
215560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot
315560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robottype enum = [ `Int of int ]
415560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot
515560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robottype 'a c_obj_t = 
615560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot    C_void
715560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  | C_bool of bool
815560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  | C_char of char
915560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  | C_uchar of char
1015560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  | C_short of int
1115560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  | C_ushort of int
1215560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  | C_int of int
1315560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  | C_uint of int32
1415560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  | C_int32 of int32
1515560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  | C_int64 of int64
1615560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  | C_float of float
1715560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  | C_double of float
1815560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  | C_ptr of int64 * int64
1915560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  | C_array of 'a c_obj_t array
2015560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  | C_list of 'a c_obj_t list
2115560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  | C_obj of (string -> 'a c_obj_t -> 'a c_obj_t)
2215560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  | C_string of string
2315560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  | C_enum of 'a
2415560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  | C_director_core of 'a c_obj_t * 'a c_obj_t option ref
2515560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot
2615560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robottype c_obj = enum c_obj_t
2715560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot
2815560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotexception InvalidDirectorCall of c_obj
2915560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotexception NoSuchClass of string
3015560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot
3115560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval invoke : ('a c_obj_t) -> (string -> 'a c_obj_t -> 'a c_obj_t)
3215560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval fnhelper : 'a c_obj_t -> 'a c_obj_t list
3315560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot
3415560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval get_int : 'a c_obj_t -> int
3515560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval get_float : 'a c_obj_t -> float
3615560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval get_string : 'a c_obj_t -> string
3715560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval get_char : 'a c_obj_t -> char
3815560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval get_bool : 'a c_obj_t -> bool
3915560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot
4015560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval make_float : float -> 'a c_obj_t
4115560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval make_double : float -> 'a c_obj_t
4215560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval make_string : string -> 'a c_obj_t
4315560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval make_bool : bool -> 'a c_obj_t
4415560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval make_char : char -> 'a c_obj_t
4515560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval make_char_i : int -> 'a c_obj_t
4615560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval make_uchar : char -> 'a c_obj_t
4715560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval make_uchar_i : int -> 'a c_obj_t
4815560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval make_short : int -> 'a c_obj_t
4915560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval make_ushort : int -> 'a c_obj_t
5015560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval make_int : int -> 'a c_obj_t
5115560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval make_uint : int -> 'a c_obj_t
5215560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval make_int32 : int -> 'a c_obj_t
5315560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval make_int64 : int -> 'a c_obj_t
5415560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot
5515560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval new_derived_object: 
5615560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  ('a c_obj_t -> 'a c_obj_t) ->
5715560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  ('a c_obj_t -> string -> 'a c_obj_t -> 'a c_obj_t) ->
5815560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  'a c_obj_t -> 'a c_obj_t
5915560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robot  
6015560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval register_class_byname : string -> ('a c_obj_t -> 'a c_obj_t) -> unit
6115560bb32cdb9b47db48eb4865b736df9708a8fandroid-build-team Robotval create_class : string -> 'a c_obj_t -> 'a c_obj_t
62