Documentation

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

newtype T_Lift_8 Source #

d_lower_18 :: T_Lift_8 -> AgdaAny Source #

d_0ℓ_22 :: T_Level_14 Source #

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

du_levelOfType_26 :: T_Level_14 -> T_Level_14 Source #

d_levelOfTerm_34 :: T_Level_14 -> () -> AgdaAny -> T_Level_14 Source #

du_levelOfTerm_34 :: T_Level_14 -> T_Level_14 Source #