Module `Memory_domains.With_focusing`

module TypedC = Types.TypedC

module type BASE_WITH_TYPES = sig ... end

module type S = sig ... end

module type S_with_types = sig ... end

module Make
  (D : Memory_sig.Base) : 
  S with module Context = D.Context and type boolean = D.boolean

module Make_with_types
  (D : BASE_WITH_TYPES) : 
  S_with_types with module Context = D.Context and type boolean = D.boolean

Module Memory_domains.With_focusing