plutus-metatheory-1.60.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

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) -> () #

d_'8851''45'isSemilattice_602 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> T_IsCommutativeBand_590 #

du_'8851''45'isSemilattice_602 :: T_TotalPreorder_222 -> T_MinOperator_98 -> T_IsCommutativeBand_590 #

d_'8851''45'semilattice_604 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> T_Semilattice_10 #

du_'8851''45'semilattice_604 :: T_TotalPreorder_222 -> T_MinOperator_98 -> T_Semilattice_10 #