IsabelleClient.Result.NodeStatus (isabelle_elixir v0.4.0)

View Source

Status summary for one theory node.