Frama-C API - Context_product
Cartesian product of two context abstractions.
module Make (L : Abstract_context.S) (R : Abstract_context.S) : Abstract_context.S with type t = L.t * R.t
Frama-C Frama-C Context_productCartesian product of two context abstractions.
module Make (L : Abstract_context.S) (R : Abstract_context.S) : Abstract_context.S with type t = L.t * R.t