# `KinoIsabelle.Result`
[🔗](https://github.com/jcschuster/kino_isabelle/blob/v0.1.0-alpha.1/lib/kino_isabelle/result.ex#L1)

Result of `KinoIsabelle.check/2`. Renders in Livebook as tabs.

  * `:status` - `:ok` when Isabelle accepted the theory, else `:failed`
  * `:theory` - the theory name
  * `:text` - the checked cell text
  * `:messages` - `t:KinoIsabelle.Messages.message/0`s ordered by position;
    `from` and `to` are UTF-16 offsets in `:text`
  * `:node_status` - Isabelle's node status counters, `nil` if the header failed
  * `:raw` - the raw `use_theories` result

# `t`

```elixir
@type t() :: %KinoIsabelle.Result{
  messages: [KinoIsabelle.Messages.message()],
  node_status: map() | nil,
  raw: map(),
  status: :ok | :failed,
  text: String.t(),
  theory: String.t()
}
```

---

*Consult [api-reference.md](api-reference.md) for complete listing*