package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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
OCaml

Innovation. Community. Security.