let
tau_of_ctype t = tau_of_object (
Ctypes
.object_of t)