Documentation

d__'60'__96 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> () #

d__'8851'__192 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8851'__192 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny #

d_'60''45'trans'691'_284 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 #

du_'60''45'trans'691'_284 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 #

d_'60''45'trans'737'_286 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> AgdaAny -> T_Σ_14 #

du_'60''45'trans'737'_286 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> AgdaAny -> T_Σ_14 #

d_lemma'8321'_302 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_lemma'8321'_302 :: T_TotalOrder_764 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_lemma'8322'_314 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_lemma'8322'_314 :: T_TotalOrder_764 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_lemma'8323'_326 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> AgdaAny -> T_Σ_14 #

du_lemma'8323'_326 :: T_TotalOrder_764 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> AgdaAny -> T_Σ_14 #

d_lemma'8324'_338 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> AgdaAny -> T_Σ_14 #

du_lemma'8324'_338 :: T_TotalOrder_764 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> AgdaAny -> T_Σ_14 #

d_'8851''7480'_344 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

du_'8851''7480'_344 :: T_TotalOrder_764 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

d_'8852''7480'_346 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

du_'8852''7480'_346 :: T_TotalOrder_764 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

d_'8851''7480''45'sel_350 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__'8846'__30 #

du_'8851''7480''45'sel_350 :: T_TotalOrder_764 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__'8846'__30 #

d_'8851''7480''45'pres'7506''45''8804'v_362 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8846'__30 -> AgdaAny #

du_'8851''7480''45'pres'7506''45''8804'v_362 :: T_TotalOrder_764 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8846'__30 -> AgdaAny #

d_'8851''7480''45'pres'7506''45''60'v_374 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8846'__30 -> T_Σ_14 #

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

d_'8851''7480''45'pres'7495''45'v'8804'_386 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_'8851''7480''45'pres'7495''45'v'8804'_386 :: T_TotalOrder_764 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_'8851''7480''45'pres'7495''45'v'60'_402 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 #

du_'8851''7480''45'pres'7495''45'v'60'_402 :: T_TotalOrder_764 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 #

d_'8851''7480''45'forces'7495''45'v'8804'_418 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 #

du_'8851''7480''45'forces'7495''45'v'8804'_418 :: T_TotalOrder_764 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 #

d_'8852''7480''45'sel_434 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__'8846'__30 #

du_'8852''7480''45'sel_434 :: T_TotalOrder_764 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__'8846'__30 #

d_'8852''7480''45'pres'7506''45'v'8804'_446 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8846'__30 -> AgdaAny #

du_'8852''7480''45'pres'7506''45'v'8804'_446 :: T_TotalOrder_764 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8846'__30 -> AgdaAny #

d_'8852''7480''45'pres'7506''45'v'60'_468 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8846'__30 -> T_Σ_14 #

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

d_'8852''7480''45'pres'7495''45''8804'v_490 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_'8852''7480''45'pres'7495''45''8804'v_490 :: T_TotalOrder_764 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_'8852''7480''45'pres'7495''45''60'v_506 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 #

du_'8852''7480''45'pres'7495''45''60'v_506 :: T_TotalOrder_764 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 #

d_'8852''7480''45'forces'7495''45''8804'v_522 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 #

du_'8852''7480''45'forces'7495''45''8804'v_522 :: T_TotalOrder_764 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 #