Fact-aware transformations for generated programs.
Summary
Functions
Applies one transform or a sequence of transforms to a generated program.
Returns supported fact-aware transforms.
Fact-aware transformations for generated programs.
Applies one transform or a sequence of transforms to a generated program.
Returns supported fact-aware transforms.