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