::
GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12
Moduleplutus-core-1.70.0.0
dataTy :: HasTypeLevel uni Data => Type tyname uni ()
matchData :: TermLike term TyName Name DefaultUni DefaultFun => term ()