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

MAlonzo.Code.Function.Dependent.Bundles

Documentation

d__'8776'__32 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_IndexedSetoid_18 → AgdaAny → AgdaAny → () Source #

d_Carrier_34 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_IndexedSetoid_18 → () Source #

d_Func_42 ∷ p → p → p → p → p → p → () Source #

data T_Func_42 Source #

Constructors

C_Func'46'constructor_677 (AgdaAny → AgdaAny) (AgdaAny → AgdaAny → AgdaAny → AgdaAny) 

d_to_56 ∷ T_Func_42 → AgdaAny → AgdaAny Source #

d_cong_62 ∷ T_Func_42 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #