Safe Haskell	None

MAlonzo.Code.Agda.Builtin.Sigma

Documentation

d_Σ_14 :: p1 -> p2 -> p3 -> p4 -> () 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 #