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