Module type States.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