module type S_base = sig ... end
module type S = sig ... end