Modules§
- args
- Contains the arguments data types for the Isabelle server commands
- results
- Contains the result data types the Isabelle servers responses with
Structs§
- Failed
Result - Result of a failed asynchronous task.
- Isabelle
Client - Provides interaction with Isabelle servers.
Enums§
- Async
Result - Result of an asynchronous command sent to the Isabelle server.
- Sync
Result - Result of a synchronous command sent to the Isabelle server.