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

MAlonzo.Code.Induction

Documentation

d_RecursorBuilder_24T_Level_18 → () → T_Level_18T_Level_18 → ((AgdaAny → ()) → AgdaAny → ()) → () Source #

d_Recursor_30T_Level_18 → () → T_Level_18T_Level_18 → ((AgdaAny → ()) → AgdaAny → ()) → () Source #

d_build_36T_Level_18 → () → T_Level_18T_Level_18 → ((AgdaAny → ()) → AgdaAny → ()) → ((AgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAny) → (AgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAny Source #

du_build_36 ∷ ((AgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAny) → (AgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAny Source #

d_SubsetRecursorBuilder_46T_Level_18 → () → T_Level_18T_Level_18T_Level_18 → (AgdaAny → ()) → ((AgdaAny → ()) → AgdaAny → ()) → () Source #

d_SubsetRecursor_54T_Level_18 → () → T_Level_18T_Level_18T_Level_18 → (AgdaAny → ()) → ((AgdaAny → ()) → AgdaAny → ()) → () Source #

d_subsetBuild_62T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18T_Level_18 → ((AgdaAny → ()) → AgdaAny → ()) → ((AgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAny) → (AgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAny Source #

du_subsetBuild_62 ∷ ((AgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAny) → (AgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAny Source #