Frama-C API - `Value`

Sub-signature of State_builder.Ref for 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