Module Abstract_memory

module Abstract_memory: sig .. end

type initialization = 
| SurelyInitialized
| MaybeUninitialized
type bit = 
| Uninitialized
| Zero of initialization
| Any of Base.SetLattice.t * initialization
module Bit: sig .. end
type size = Integer.t 
type side = 
| Left
| Right
type oracle = Cil_types.exp -> Int_val.t 
type bioracle = side -> oracle 
module type ProtoMemory = sig .. end