certificate-type

record certificate-type {
  value: string,
}