Documentation

d_completeness_530 :: (T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T__'8866'_'8776'_'8758'__14 -> T_Σ_14 Source #

du_completeness_530 :: T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T__'8866'_'8776'_'8758'__14 -> T_Σ_14 Source #