States.TableState
Sub-signature of State_builder.Hashtbl for register_framac_array.
State_builder.Hashtbl
register_framac_array
type key
type data
val iter : (key -> data -> unit) -> unit
val add_hook_on_change : ((key, data) Frama_c_kernel.State_builder.hashtbl_event -> unit) -> unit