Frama-C API - Polymorphic
Output signature of Polymorphic
.
include Type.Polymorphic
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