Documentation

d_of_12 :: T_Level_14 -> () -> Bool -> AgdaAny -> T_Reflects_14 Source #

du_of_12 :: Bool -> AgdaAny -> T_Reflects_14 Source #

d_invert_20 :: T_Level_14 -> () -> Bool -> T_Reflects_14 -> AgdaAny Source #

du_invert_20 :: T_Reflects_14 -> AgdaAny Source #

d_fromEquivalence_28 :: T_Level_14 -> () -> Bool -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_Reflects_14 Source #

du_fromEquivalence_28 :: Bool -> (AgdaAny -> AgdaAny) -> T_Reflects_14 Source #

d_det_42 :: T_Level_14 -> () -> Bool -> Bool -> T_Reflects_14 -> T_Reflects_14 -> T__'8801'__12 Source #