Documentation

d__'60'__82 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> () Source #

d__'8851'__178 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du__'8851'__178 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'60''45'trans'691'_270 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 Source #

du_'60''45'trans'691'_270 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 Source #

d_'60''45'trans'737'_272 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> AgdaAny -> T_Σ_14 Source #

du_'60''45'trans'737'_272 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> AgdaAny -> T_Σ_14 Source #

d_lemma'8321'_288 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lemma'8321'_288 :: T_TotalOrder_648 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lemma'8322'_300 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lemma'8322'_300 :: T_TotalOrder_648 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lemma'8323'_312 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> AgdaAny -> T_Σ_14 Source #

du_lemma'8323'_312 :: T_TotalOrder_648 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> AgdaAny -> T_Σ_14 Source #

d_lemma'8324'_324 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> AgdaAny -> T_Σ_14 Source #

du_lemma'8324'_324 :: T_TotalOrder_648 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> AgdaAny -> T_Σ_14 Source #

d_'8851''7480'_330 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8851''7480'_330 :: T_TotalOrder_648 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8852''7480'_332 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8852''7480'_332 :: T_TotalOrder_648 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8851''7480''45'sel_336 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #

du_'8851''7480''45'sel_336 :: T_TotalOrder_648 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #

d_'8851''7480''45'pres'7506''45''8804'v_348 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8846'__30 -> AgdaAny Source #

du_'8851''7480''45'pres'7506''45''8804'v_348 :: T_TotalOrder_648 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8846'__30 -> AgdaAny Source #

d_'8851''7480''45'pres'7506''45''60'v_360 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8846'__30 -> T_Σ_14 Source #

du_'8851''7480''45'pres'7506''45''60'v_360 :: T_TotalOrder_648 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8846'__30 -> T_Σ_14 Source #

d_'8851''7480''45'pres'7495''45'v'8804'_372 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8851''7480''45'pres'7495''45'v'8804'_372 :: T_TotalOrder_648 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8851''7480''45'pres'7495''45'v'60'_388 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #

du_'8851''7480''45'pres'7495''45'v'60'_388 :: T_TotalOrder_648 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #

d_'8851''7480''45'forces'7495''45'v'8804'_404 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 Source #

du_'8851''7480''45'forces'7495''45'v'8804'_404 :: T_TotalOrder_648 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 Source #

d_'8852''7480''45'sel_420 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #

du_'8852''7480''45'sel_420 :: T_TotalOrder_648 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #

d_'8852''7480''45'pres'7506''45'v'8804'_432 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8846'__30 -> AgdaAny Source #

du_'8852''7480''45'pres'7506''45'v'8804'_432 :: T_TotalOrder_648 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8846'__30 -> AgdaAny Source #

d_'8852''7480''45'pres'7506''45'v'60'_454 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8846'__30 -> T_Σ_14 Source #

du_'8852''7480''45'pres'7506''45'v'60'_454 :: T_TotalOrder_648 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8846'__30 -> T_Σ_14 Source #

d_'8852''7480''45'pres'7495''45''8804'v_476 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8852''7480''45'pres'7495''45''8804'v_476 :: T_TotalOrder_648 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8852''7480''45'pres'7495''45''60'v_492 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #

du_'8852''7480''45'pres'7495''45''60'v_492 :: T_TotalOrder_648 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #

d_'8852''7480''45'forces'7495''45''8804'v_508 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 Source #

du_'8852''7480''45'forces'7495''45''8804'v_508 :: T_TotalOrder_648 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 Source #