LEAPSynthesisPass.synthesize

async LEAPSynthesisPass.synthesize(utry, data)[source]

Synthesize utry, see SynthesisPass for more.