plutus-metatheory-1.60.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 -> () #

data T_Σ_14 #

Constructors

C__'44'__32 AgdaAny AgdaAny 

d_fst_28 :: T_Σ_14 -> AgdaAny #

d_snd_30 :: T_Σ_14 -> AgdaAny #