Documentation

d_poset_162 :: T_Level_18 -> T_Level_18 -> T_Semilattice_10 -> T_Poset_314 #

du_poset_162 :: T_Semilattice_10 -> T_Poset_314 #

d__'8804'__166 :: T_Level_18 -> T_Level_18 -> T_Semilattice_10 -> AgdaAny -> AgdaAny -> () #

d__'8819'__168 :: T_Level_18 -> T_Level_18 -> T_Semilattice_10 -> AgdaAny -> AgdaAny -> () #

d_'8743''45'isOrderTheoreticMeetSemilattice_176 :: T_Level_18 -> T_Level_18 -> T_Semilattice_10 -> T_IsMeetSemilattice_180 #

du_'8743''45'isOrderTheoreticMeetSemilattice_176 :: T_Semilattice_10 -> T_IsMeetSemilattice_180 #

d_'8743''45'isOrderTheoreticJoinSemilattice_178 :: T_Level_18 -> T_Level_18 -> T_Semilattice_10 -> T_IsJoinSemilattice_22 #

du_'8743''45'isOrderTheoreticJoinSemilattice_178 :: T_Semilattice_10 -> T_IsJoinSemilattice_22 #

d_'8743''45'orderTheoreticMeetSemilattice_180 :: T_Level_18 -> T_Level_18 -> T_Semilattice_10 -> T_MeetSemilattice_200 #

du_'8743''45'orderTheoreticMeetSemilattice_180 :: T_Semilattice_10 -> T_MeetSemilattice_200 #

d_'8743''45'orderTheoreticJoinSemilattice_182 :: T_Level_18 -> T_Level_18 -> T_Semilattice_10 -> T_JoinSemilattice_14 #

du_'8743''45'orderTheoreticJoinSemilattice_182 :: T_Semilattice_10 -> T_JoinSemilattice_14 #