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