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

MAlonzo.Code.Algebra.Definitions.RawMagma

Documentation

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

data T__'8739''737'__26 Source #

Constructors

C__'44'__40 AgdaAny AgdaAny 

d_quotient_36 ∷ T__'8739''737'__26 → AgdaAny Source #

d_equality_38 ∷ T__'8739''737'__26 → AgdaAny Source #

d__'8740''737'__42 ∷ T_Level_18 → T_Level_18 → T_RawMagma_36 → AgdaAny → AgdaAny → () Source #

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

data T__'8739''691'__52 Source #

Constructors

C__'44'__66 AgdaAny AgdaAny 

d_quotient_62 ∷ T__'8739''691'__52 → AgdaAny Source #

d_equality_64 ∷ T__'8739''691'__52 → AgdaAny Source #

d__'8740''691'__68 ∷ T_Level_18 → T_Level_18 → T_RawMagma_36 → AgdaAny → AgdaAny → () Source #

d__'8739'__74 ∷ T_Level_18 → T_Level_18 → T_RawMagma_36 → AgdaAny → AgdaAny → () Source #

d__'8740'__76 ∷ T_Level_18 → T_Level_18 → T_RawMagma_36 → AgdaAny → AgdaAny → () Source #

d__'8739''8739'__82 ∷ T_Level_18 → T_Level_18 → T_RawMagma_36 → AgdaAny → AgdaAny → () Source #

d__'8740''8740'__88 ∷ T_Level_18 → T_Level_18 → T_RawMagma_36 → AgdaAny → AgdaAny → () Source #