States.TableState
Sub-signature of State_builder.Hashtbl
for register_framac_array
.
val add_hook_on_change :
((key, data) Frama_c_kernel.State_builder.hashtbl_event -> unit) ->
unit
module Datatype : Frama_c_kernel.Datatype.S
val add_hook_on_update : (Datatype.t -> unit) -> unit