Frama-C API - `State`

Sub-signature of State_builder.Ref for register_framac_state.

type data

val set : data -> unit

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

Frama-C API - State