error

record error {
  code: string,
  detail: option​<string>,
  meta: option​<error-meta>,
  source: option​<error-source>,
  title: string,
}