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