pub type NonemptySetCertificate = CertificateList;
pub struct NonemptySetCertificate(/* private fields */);