Documentation

d__'8777'__18 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> AgdaAny -> AgdaAny -> () Source #

d_isPreorder_36 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_IsPreorder_70 Source #

du_isPreorder_36 :: T_Setoid_44 -> T_IsPreorder_70 Source #

d_preorder_38 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Preorder_132 Source #

du_preorder_38 :: T_Setoid_44 -> T_Preorder_132 Source #

d_'8777''45'sym_40 :: T_Setoid_44 -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> AgdaAny -> T_'8869'_4 Source #

d_'8777''45'resp'737'_44 :: T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> AgdaAny -> T_'8869'_4 Source #

d_'8777''45'resp'691'_50 :: T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> AgdaAny -> T_'8869'_4 Source #

d_'8777''45'resp'8322'_58 :: T_Setoid_44 -> T_Σ_14 Source #

d_resp'691''45'flip_60 :: T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_resp'737''45'flip_66 :: T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #