Safe Haskell	None

MAlonzo.Code.Algebra.Lattice.Construct.NaturalChoice.MinOp

Documentation

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

d_'8851''45'isSemilattice_586 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_IsSemilattice_1576 Source #

du_'8851''45'isSemilattice_586 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_IsSemilattice_1576 Source #

d_'8851''45'semilattice_588 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_Semilattice_10 Source #

du_'8851''45'semilattice_588 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_Semilattice_10 Source #