IsabelleClient.Result.Node (isabelle_elixir v0.3.0)

View Source

One theory node in a use_theories result.