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.