isabelle_client::client

Module args

Source
Expand description

Contains the arguments data types for the Isabelle server commands

Structsยง

CancelArgs
Arguments for cancel command
PurgeTheoryArgs
Arguments for purge_theories command
SessionBuildArgs
Arguments for session_build and session_start commands
SessionStopArgs
Arguments for session_stop command
UseTheoriesArgs
Arguments for use_theories command