Module Abstract_structure

module Abstract_structure: sig .. end

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