| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusIR.Transform.RecSplit
Synopsis
- recSplit :: forall uni fun a name tyname. (Ord name, Ord tyname, HasUnique tyname TypeUnique, HasUnique name TermUnique) => Term tyname name uni fun a -> Term tyname name uni fun a