let is_array arr e = let adim = Ctypes.array_dim arr in F.p_app1 (IsArray.get_definition adim).d_name e