Module type Config_intf.Config

module type S = S
module Zprize : S