MemBytes.EID
val self : Frama_c_kernel.State.t
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 add_hook_on_change : (data -> unit) -> unit