Module Segmentation

module Segmentation: sig .. end

module type Config = sig .. end

module Bound: sig .. end

module type Segmentation = sig .. end

module Make: 
functor (Config : Config) -> 
functor (M : Abstract_memory.ProtoMemory) -> Segmentation  with type submemory = M.t