module Segmentation: sig .. end
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
functor (
Config
:
) ->
M
Abstract_memory.ProtoMemory
Segmentation
with type submemory = M.t