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_18T_Level_18T_Level_18 → () → ((AgdaAny → ()) → AgdaAny → ()) → () Source #

d_Recursor_38T_Level_18T_Level_18T_Level_18 → () → ((AgdaAny → ()) → AgdaAny → ()) → () Source #

d_build_54T_Level_18T_Level_18T_Level_18 → () → ((AgdaAny → ()) → AgdaAny → ()) → ((AgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAny) → (AgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAny Source #

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

d_SubsetRecursorBuilder_74T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAny → ()) → ((AgdaAny → ()) → AgdaAny → ()) → () Source #

d_SubsetRecursor_92T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAny → ()) → ((AgdaAny → ()) → AgdaAny → ()) → () Source #

d_subsetBuild_114T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAny → ()) → ((AgdaAny → ()) → AgdaAny → ()) → ((AgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAny) → (AgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAny Source #

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