States.Value
Sub-signature of State_builder.Ref for register_framac_value.
State_builder.Ref
register_framac_value
type data
val get : unit -> data
val add_hook_on_change : (data -> unit) -> unit
module Datatype : Frama_c_kernel.Datatype.S
val add_hook_on_update : (Datatype.t -> unit) -> unit