plutus-metatheory-1.60.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 -> () #

data T__'8739''737'__26 #

Constructors

C__'44'__40 AgdaAny AgdaAny 

d_quotient_36 :: T__'8739''737'__26 -> AgdaAny #

d_equality_38 :: T__'8739''737'__26 -> AgdaAny #

d__'8740''737'__42 :: T_Level_18 -> T_Level_18 -> T_RawMagma_36 -> AgdaAny -> AgdaAny -> () #

d__'8739''691'__52 :: p -> p -> p -> p -> p -> () #

data T__'8739''691'__52 #

Constructors

C__'44'__66 AgdaAny AgdaAny 

d_quotient_62 :: T__'8739''691'__52 -> AgdaAny #

d_equality_64 :: T__'8739''691'__52 -> AgdaAny #

d__'8740''691'__68 :: T_Level_18 -> T_Level_18 -> T_RawMagma_36 -> AgdaAny -> AgdaAny -> () #

d__'8739'__74 :: T_Level_18 -> T_Level_18 -> T_RawMagma_36 -> AgdaAny -> AgdaAny -> () #

d__'8740'__76 :: T_Level_18 -> T_Level_18 -> T_RawMagma_36 -> AgdaAny -> AgdaAny -> () #

d__'8739''8739'__82 :: T_Level_18 -> T_Level_18 -> T_RawMagma_36 -> AgdaAny -> AgdaAny -> () #

d__'8740''8740'__88 :: T_Level_18 -> T_Level_18 -> T_RawMagma_36 -> AgdaAny -> AgdaAny -> () #