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