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

Constructors

• ExistingContext(name: String)

  Error returned from create_context_. Context with the corresponding name already exists.

• UnknownContext(name: String)

  Error returned from get_context. Context with the corresponding name does not exists.