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