Safe Haskell	None

MAlonzo.Code.Relation.Nullary

Documentation

d_'172'__6 :: T_Level_14 -> () -> () Source #

d_Reflects_14 :: p1 -> p2 -> p3 -> () Source #

data T_Reflects_14 Source #

Constructors

C_of'696'_22 AgdaAny
C_of'8319'_26

d_Dec_32 :: p1 -> p2 -> () Source #

data T_Dec_32 Source #

Constructors

C__because__46 Bool T_Reflects_14

d_does_42 :: T_Dec_32 -> Bool Source #

d_proof_44 :: T_Dec_32 -> T_Reflects_14 Source #

d_recompute_60 :: T_Level_14 -> () -> T_Dec_32 -> AgdaAny -> AgdaAny Source #

du_recompute_60 :: T_Dec_32 -> AgdaAny Source #

d_Irrelevant_70 :: T_Level_14 -> () -> () Source #