API reference / Common / UDocErrorCode

Type Alias: UDocErrorCode

type UDocErrorCode = 
  | ErrorKind
  | StartError["code"]
  | CallError["code"]
  | "crashed";

What a failure is, for code to branch on: core's kinds, the refusals the engine adds at its seam, and crashed — a trap that took the engine, and the session with it.