Frama-C API - Polymorphic4
Functor for polymorphic types with 4 type variables.
Parameters
Signature
include Type.Polymorphic4 with type ('a, 'b, 'c, 'd) poly = ('a, 'b, 'c, 'd) P.t
type ('a, 'b, 'c, 'd) poly = ('a, 'b, 'c, 'd) P.t
val is_instance_of : 'a Type.t -> bool