Module type Config_intf.Config

module type S = S
module Bls12_377 : S