EID (frama-c-wp.Wp.MemBytes.EID)

val self : Frama_c_kernel.State.t

val name : string

val mark_as_computed : ?project:Frama_c_kernel.Project.t -> unit -> unit

val is_computed : ?project:Frama_c_kernel.Project.t -> unit -> bool

module Datatype : sig ... end

val add_hook_on_update : (Datatype.t -> unit) -> unit

val howto_marshal : (Datatype.t -> 'a) -> ('a -> Datatype.t) -> unit

type data = Frama_c_kernel.Datatype.Int.t

val set : data -> unit

val get : unit -> data

val clear : unit -> unit

val add_hook_on_change : (data -> unit) -> unit