Datatype_deps
val l : State.t list
Dependencies of the hash-consing table. The table will be cleared whenever one of those dependencies is cleared.
Frama-C