IsabelleClient.Result.SessionBuildResult (isabelle_elixir v0.4.1)

View Source

Structured session_build result.