validate-props

record validate-props {
  issuer: list​<string>,
  audience: list​<string>,
  jwks: jwks-source,
  options: option​<validation-options>,
}