Frama-C API - `Abstract_memory`

type initialization =

| SurelyInitialized
| MaybeUninitialized

type bit =

| Uninitialized
| Zero of initialization
| Any of Frama_c_kernel.Base.SetLattice.t * initialization

module Bit : sig ... end

type size = Frama_c_kernel.Z.t

type side =

| Left
| Right

type oracle = Eva_ast.exp -> Frama_c_kernel.Int_val.t

type bioracle = side -> oracle

module type ProtoMemory = sig ... end