# `AtpClient.Isabelle.Session`
[🔗](https://github.com/jcschuster/AtpClient/blob/v0.1.7/lib/atp_client/isabelle/session.ex#L1)

Handle for an open Isabelle server session.

Holds the underlying socket (a `Port` returned by
`IsabelleClientMini.connect/3`), the server-assigned `session_id`, and 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.

# `t`

```elixir
@type t() :: %AtpClient.Isabelle.Session{
  config: keyword(),
  session_id: String.t(),
  socket: port()
}
```

---

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