error

record error {
  error: option​<error-error>,
  type-op: string,
}