sig val record_format : Cil_types.compinfo -> 'a Data.F.term val array_format : Ctypes.arrayinfo -> 'a Data.F.term val loaded : Ctypes.c_object -> unit val stored : Ctypes.c_object -> unit end