Type_domain.EvalPred
module type Arg = sig ... end
module type Sig = sig ... end
module Make (A : Arg) : Sig with module Domain := A