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

MAlonzo.Code.Data.List.Membership.Setoid.Properties

Documentation

d_AllPairs_284 ∷ p → p → p → p → () Source #

d__'8712'__1562T_Level_18T_Level_18T_Level_18T_Setoid_46 → (AgdaAny → ()) → (AgdaAnyT_Dec_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAny → [AgdaAny] → () Source #

d__'8776'__1702T_Level_18T_Level_18T_Level_18T_Level_18T_Level_18T_Setoid_46T_Setoid_46 → (AgdaAny → ()) → (AgdaAnyT_Dec_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAny) → [AgdaAny] → AgdaAnyAgdaAnyAgdaAny → () Source #

d__'8776'__1726T_Level_18T_Level_18T_Level_18T_Level_18T_Level_18T_Setoid_46T_Setoid_46 → (AgdaAny → ()) → (AgdaAnyT_Dec_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAny) → [AgdaAny] → AgdaAnyAgdaAnyAgdaAny → () Source #

d__'8712'__1750T_Level_18T_Level_18T_Level_18T_Level_18T_Level_18T_Setoid_46T_Setoid_46 → (AgdaAny → ()) → (AgdaAnyT_Dec_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAny) → [AgdaAny] → AgdaAnyAgdaAny → [AgdaAny] → () Source #

d__'8712'__1766T_Level_18T_Level_18T_Level_18T_Level_18T_Level_18T_Setoid_46T_Setoid_46 → (AgdaAny → ()) → (AgdaAnyT_Dec_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAny) → [AgdaAny] → AgdaAnyAgdaAny → [AgdaAny] → () Source #

d__'8712'__1832T_Level_18T_Level_18T_Level_18T_Setoid_46 → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyT_Dec_20) → AgdaAny → [AgdaAny] → () Source #

d_Pointwise_45555 ∷ p → p → p → p → p → p → p → p → p → p → p → p → p → p → () Source #

d_Pointwise_83715 ∷ p → p → p → p → p → p → p → p → p → p → p → () Source #