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