plutus-metatheory-0.1.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

MAlonzo.Code.Agda.Builtin.Sigma

Documentation

d_Σ_14 ∷ p → p → p → p → () Source #

data T_Σ_14 Source #

Constructors

C__'44'__32 AgdaAny AgdaAny 

d_fst_28 ∷ T_Σ_14 → AgdaAny Source #

d_snd_30 ∷ T_Σ_14 → AgdaAny Source #