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

MAlonzo.Code.Utils.Decidable

Documentation

d_dmap_12T_Level_18T_Level_18 → () → () → (AgdaAnyAgdaAny) → ((AgdaAnyT_'8869'_4) → AgdaAnyT_'8869'_4) → T_Dec_32T_Dec_32 Source #

d_dcong'8322'_70T_Level_18T_Level_18T_Level_18 → () → () → () → AgdaAnyAgdaAnyAgdaAnyAgdaAny → (AgdaAnyAgdaAnyAgdaAny) → (T__'8801'__12T_Σ_14) → T_Dec_32T_Dec_32T_Dec_32 Source #

d_dhcong_120T_Level_18T_Level_18T_Level_18 → () → (AgdaAny → ()) → () → AgdaAnyAgdaAnyAgdaAnyAgdaAny → (AgdaAnyAgdaAnyAgdaAny) → (T__'8801'__12T_Σ_14) → T_Dec_32 → (AgdaAnyT_Dec_32) → T_Dec_32 Source #

d_dhcong'8322'_180T_Level_18T_Level_18T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → ()) → () → AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (T__'8801'__12T_Σ_14) → T_Dec_32 → (AgdaAnyT_Dec_32) → (AgdaAnyT_Dec_32) → T_Dec_32 Source #