Module batch

Batch elaboration for doublett

Enums

BatchOutput

An enum to configure the output of batch processing

Functions

elaborate

Run the doublett elaborator in batch mode

run

Read from path and elaborate