Rewrites this circuit by identifying opportunities for parallelism and turning Seq elements
into Par elements where possible.
This makes for a better rendering.
Liquid1 (in Liquid1.dll) Version: 1.0.5981.24943 (1.0.*)
member Fold :
agressive : FSharpOption<bool> -> Circuit
- Type: Microsoft.FSharp.CoreFSharpOptionBoolean
An option to fold as much as possible by decomposing this circuit
into basic gates before folding.
The default is to not decompose Wrap gates and other aggregates before folding.
The new folded circuit