let tau_of_logic_ctype c = match Ctypes.object_of c with | C_int _ -> Integer | C_float _ -> Real | C_pointer _ -> Pointer | C_comp c -> Record c | C_array a -> Array a