Frama-C API - Polymorphic2
Generic implementation of polymorphic type value with two type variables.
Parameters
module T : Polymorphic2_inputSignature
type ('a, 'b) poly = ('a, 'b) T.tval is_instance_of : 'a t -> bool
Frama-C Frama-C Polymorphic2Generic implementation of polymorphic type value with two type variables.
module T : Polymorphic2_inputtype ('a, 'b) poly = ('a, 'b) T.tval is_instance_of : 'a t -> bool