AtpClient.Isabelle.Session (AtpClient v0.2.0)

Handle for an open Isabelle server session.

Wraps an %IsabelleClient{} from the :isabelle_elixir package — which itself owns the underlying TCP socket and the server-assigned session_id — together with the resolved configuration the session was opened with, so follow-up calls can pick up the same local_dir / isabelle_dir without being passed them again.

Summary

Types

t()

Types

t()

@type t() :: %AtpClient.Isabelle.Session{
  client: IsabelleClient.t(),
  config: keyword()
}