Frama-C API - Info
Required information for the correctness of the hptsets.
val initial_values : elt list list
List of the sets that must be shared between all instances of Frama-C (the sets being described by the list of their elements). Must include all sets that are exported at Caml link-time when the functor is applied.
val dependencies : State.t list
Dependencies of the hash-consing table. The table will be cleared whenever one of those dependencies is cleared.