workflow

Module compile

Source
Expand description

Defines conversion functions between the Checker Workflow and the WIR.

Enums§