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