::
GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12
Moduleplutus-core-1.70.0.0
sequ :: (TermLike term tyname Name uni fun, HasTypeAndTermLevel uni ()) => term ()
unit :: HasTypeLevel uni () => Type tyname uni ()
unitval :: (TermLike term tyname name uni fun, HasTermLevel uni ()) => term ()