Module Abstract_memory

module Abstract_memory: sig .. end

type size = Integer.t

type bit =

`\|`	`Uninitialized`
`\|`	`Zero`
`\|`	`Any of Base.SetLattice.t`

module Bit: sig .. end

module type Value = sig .. end

module type Config = sig .. end

module type T = sig .. end

module Make: functor (Config : Config) -> functor (Value : Value) -> T 
  with type value = Value.t
   and type location = Abstract_offset.typed_offset