Frama-C API - Polymorphic
Functor for polymorphic types with only 1 type variable.
Parameters
module P : sig ... end
Signature
include Type.Polymorphic with type 'a poly = 'a P.t
type 'a poly = 'a P.t
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