Module process

Structs

OptionsBuilder

Builder that conveniently allows to specify common Isabelle options.

ProcessArgs

Arguments for running the raw ML process in batch mode.

Functions

batch_process

Runs the raw ML process in batch mode. Arguments for the command are specified in ProcessArgs. Returns the process’ output.