Documentation

d_IsDistributiveLattice_184 :: p1 -> p2 -> p3 -> p4 -> p5 -> () Source #

d_poset_622 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_Poset_282 Source #

du_poset_622 :: T_DistributiveLattice_616 -> T_Poset_282 Source #

d_'8743''45'idem_624 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> AgdaAny -> AgdaAny Source #

du_'8743''45'idem_624 :: T_DistributiveLattice_616 -> AgdaAny -> AgdaAny Source #

d_'8743''45'isBand_626 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsBand_242 Source #

du_'8743''45'isBand_626 :: T_DistributiveLattice_616 -> T_IsBand_242 Source #

d_'8743''45'isMagma_628 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsMagma_98 Source #

du_'8743''45'isMagma_628 :: T_DistributiveLattice_616 -> T_IsMagma_98 Source #

d_'8743''45'isOrderTheoreticJoinSemilattice_630 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsJoinSemilattice_22 Source #

du_'8743''45'isOrderTheoreticJoinSemilattice_630 :: T_DistributiveLattice_616 -> T_IsJoinSemilattice_22 Source #

d_'8743''45'isOrderTheoreticMeetSemilattice_632 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsMeetSemilattice_168 Source #

du_'8743''45'isOrderTheoreticMeetSemilattice_632 :: T_DistributiveLattice_616 -> T_IsMeetSemilattice_168 Source #

d_'8743''45'isSemigroup_634 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsSemigroup_206 Source #

du_'8743''45'isSemigroup_634 :: T_DistributiveLattice_616 -> T_IsSemigroup_206 Source #

d_'8743''45'isSemilattice_636 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsSemilattice_1576 Source #

du_'8743''45'isSemilattice_636 :: T_DistributiveLattice_616 -> T_IsSemilattice_1576 Source #

d_'8743''45'orderTheoreticJoinSemilattice_638 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_JoinSemilattice_14 Source #

du_'8743''45'orderTheoreticJoinSemilattice_638 :: T_DistributiveLattice_616 -> T_JoinSemilattice_14 Source #

d_'8743''45'orderTheoreticMeetSemilattice_640 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_MeetSemilattice_188 Source #

du_'8743''45'orderTheoreticMeetSemilattice_640 :: T_DistributiveLattice_616 -> T_MeetSemilattice_188 Source #

d_'8743''45'semilattice_642 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_Semilattice_10 Source #

du_'8743''45'semilattice_642 :: T_DistributiveLattice_616 -> T_Semilattice_10 Source #

d_'8743''45''8744''45'isLattice_644 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsLattice_1876 Source #

du_'8743''45''8744''45'isLattice_644 :: T_DistributiveLattice_616 -> T_IsLattice_1876 Source #

d_'8743''45''8744''45'lattice_646 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_Lattice_532 Source #

du_'8743''45''8744''45'lattice_646 :: T_DistributiveLattice_616 -> T_Lattice_532 Source #

d_'8744''45'idem_648 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> AgdaAny -> AgdaAny Source #

du_'8744''45'idem_648 :: T_DistributiveLattice_616 -> AgdaAny -> AgdaAny Source #

d_'8744''45'isBand_650 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsBand_242 Source #

du_'8744''45'isBand_650 :: T_DistributiveLattice_616 -> T_IsBand_242 Source #

d_'8744''45'isMagma_652 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsMagma_98 Source #

du_'8744''45'isMagma_652 :: T_DistributiveLattice_616 -> T_IsMagma_98 Source #

d_'8743''45'isOrderTheoreticJoinSemilattice_654 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsJoinSemilattice_22 Source #

du_'8743''45'isOrderTheoreticJoinSemilattice_654 :: T_DistributiveLattice_616 -> T_IsJoinSemilattice_22 Source #

d_'8743''45'isOrderTheoreticMeetSemilattice_656 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsMeetSemilattice_168 Source #

du_'8743''45'isOrderTheoreticMeetSemilattice_656 :: T_DistributiveLattice_616 -> T_IsMeetSemilattice_168 Source #

d_'8744''45'isSemigroup_658 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsSemigroup_206 Source #

du_'8744''45'isSemigroup_658 :: T_DistributiveLattice_616 -> T_IsSemigroup_206 Source #

d_'8744''45'isSemilattice_660 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsSemilattice_1576 Source #

du_'8744''45'isSemilattice_660 :: T_DistributiveLattice_616 -> T_IsSemilattice_1576 Source #

d_'8743''45'orderTheoreticJoinSemilattice_662 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_JoinSemilattice_14 Source #

du_'8743''45'orderTheoreticJoinSemilattice_662 :: T_DistributiveLattice_616 -> T_JoinSemilattice_14 Source #

d_'8743''45'orderTheoreticMeetSemilattice_664 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_MeetSemilattice_188 Source #

du_'8743''45'orderTheoreticMeetSemilattice_664 :: T_DistributiveLattice_616 -> T_MeetSemilattice_188 Source #

d_'8744''45'semilattice_666 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_Semilattice_10 Source #

du_'8744''45'semilattice_666 :: T_DistributiveLattice_616 -> T_Semilattice_10 Source #

d_'8744''45''8743''45'isOrderTheoreticLattice_668 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsLattice_316 Source #

du_'8744''45''8743''45'isOrderTheoreticLattice_668 :: T_DistributiveLattice_616 -> T_IsLattice_316 Source #

d_'8744''45''8743''45'orderTheoreticLattice_670 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_Lattice_362 Source #

du_'8744''45''8743''45'orderTheoreticLattice_670 :: T_DistributiveLattice_616 -> T_Lattice_362 Source #

d_'8743''45''8744''45'isDistributiveLattice_672 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_IsDistributiveLattice_1950 Source #

du_'8743''45''8744''45'isDistributiveLattice_672 :: T_DistributiveLattice_616 -> T_IsDistributiveLattice_1950 Source #

d_'8743''45''8744''45'distributiveLattice_674 :: T_Level_14 -> T_Level_14 -> T_DistributiveLattice_616 -> T_DistributiveLattice_616 Source #

du_'8743''45''8744''45'distributiveLattice_674 :: T_DistributiveLattice_616 -> T_DistributiveLattice_616 Source #