Domains.Type_domain
module Ctypes = Types.Ctypes
module type S = sig ... end
module Make (BR : Memory_sig.Fixed_size_value_domain) (TS : Ctypes.Type_settings) : S with module BR = BR
module EvalPred : sig ... end