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

MAlonzo.Code.Algebra.Definitions.RawMagma

Documentation

d__'8739''737'__28 ∷ p → p → p → p → p → () Source #

data T__'8739''737'__28 Source #

Constructors

C__'44'__42 AgdaAny AgdaAny 

d_quotient_38 ∷ T__'8739''737'__28 → AgdaAny Source #

d_equality_40 ∷ T__'8739''737'__28 → AgdaAny Source #

d__'8740''737'__44 ∷ T_Level_18 → T_Level_18 → T_RawMagma_44 → AgdaAny → AgdaAny → () Source #

d__'8739''691'__54 ∷ p → p → p → p → p → () Source #

data T__'8739''691'__54 Source #

Constructors

C__'44'__68 AgdaAny AgdaAny 

d_quotient_64 ∷ T__'8739''691'__54 → AgdaAny Source #

d_equality_66 ∷ T__'8739''691'__54 → AgdaAny Source #

d__'8740''691'__70 ∷ T_Level_18 → T_Level_18 → T_RawMagma_44 → AgdaAny → AgdaAny → () Source #

d__'8739'__76 ∷ T_Level_18 → T_Level_18 → T_RawMagma_44 → AgdaAny → AgdaAny → () Source #

d__'8740'__78 ∷ T_Level_18 → T_Level_18 → T_RawMagma_44 → AgdaAny → AgdaAny → () Source #

d__'8741'__84 ∷ T_Level_18 → T_Level_18 → T_RawMagma_44 → AgdaAny → AgdaAny → () Source #

d__'8742'__90 ∷ T_Level_18 → T_Level_18 → T_RawMagma_44 → AgdaAny → AgdaAny → () Source #

d__'8739''8739'__96 ∷ T_Level_18 → T_Level_18 → T_RawMagma_44 → AgdaAny → AgdaAny → () Source #

d__'8740''8740'__98 ∷ T_Level_18 → T_Level_18 → T_RawMagma_44 → AgdaAny → AgdaAny → () Source #