module Abstract_structure:sig
..end
module type Config =sig
..end
module type Structure =sig
..end
module Make:
module type Disjunction =sig
..end
module Disjunction:functor (
M
:
Abstract_memory.ProtoMemory
) ->
functor (
S
:
Structure
with type submemory = M.t
) ->
Disjunction
with type submemory = M.t and type structure = S.t