| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Algebra.Lattice.Construct.NaturalChoice.MinOp
Documentation
d_IsSemilattice_114 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_222 → T_MinOperator_98 → (AgdaAny → AgdaAny → AgdaAny) → () Source #
d_'8851''45'isSemilattice_602 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_222 → T_MinOperator_98 → T_IsCommutativeBand_590 Source #
du_'8851''45'isSemilattice_602 ∷ T_TotalPreorder_222 → T_MinOperator_98 → T_IsCommutativeBand_590 Source #