pub type Error {
  ExistingContext(name: String)
  UnknownContext(name: String)
}

Constructors

• ExistingContext(name: String)

  Error thrown in create_context_. Context with the corresponding name already exists.

• UnknownContext(name: String)

  Error thrown in get_context. Context with the corresponding name does not exists.