PlutusIR.Compiler.Lower
lowerTerm ∷ Compiling m uni fun a ⇒ PIRTerm uni fun a → m (PLCTerm uni fun a) Source #
Turns a PIR Term with no remaining PIR-specific features into a PLC Term by simply translating the constructors across.
Term