Documentation

d_sel'8658'idem_16 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T__'8846'__30) -> AgdaAny -> AgdaAny Source #

du_sel'8658'idem_16 :: (AgdaAny -> AgdaAny -> T__'8846'__30) -> AgdaAny -> AgdaAny Source #