| 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