Safe Haskell	None

MAlonzo.Code.Algebra.Lattice.Construct.NaturalChoice.MaxOp

Documentation

d_'8851''45'isSemilattice_22 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> T_IsSemilattice_1576 Source #

du_'8851''45'isSemilattice_22 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> T_IsSemilattice_1576 Source #

d_'8851''45'semilattice_24 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> T_Semilattice_10 Source #

du_'8851''45'semilattice_24 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> T_Semilattice_10 Source #