Frama-C API - Poly_array
include Type.Polymorphic with type 'a poly = 'a array
Type of the polymorphic type (for instance 'a list
). It must be instantiated before used. See function instantiate
below.
val is_instance_of : 'a Type.t -> bool