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