Frama-C:
Plug-ins:
Libraries:

Frama-C API - _

val v : (Key.t * V.t) list list

List of the maps that must be shared between all instances of Frama-C (the maps being described by the list of their elements). Must include all maps that are exported at Caml link-time when the functor is applied. This usually includes at least the empty map, hence v nearly always contains [].