let tau_of_ctype_logic t =
    Store.tau_of_object (Ctypes.object_of t)