let
tau_of_ctype_logic t = tau_of_object (object_of t)