Module Domains.Typed_memory_domain

module Ctypes = Types.Ctypes
module type S = sig ... end