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

MAlonzo.Code.Data.Sign.Base

Documentation

d_Sign_6 ∷ () Source #

data T_Sign_6 Source #

Constructors

C_'45'_8 
C_'43'_10 

d_opposite_12 ∷ T_Sign_6 → T_Sign_6 Source #

d__'42'__14 ∷ T_Sign_6 → T_Sign_6 → T_Sign_6 Source #

d_'42''45'rawMagma_20 ∷ T_RawMagma_36 Source #

d_'42''45'1'45'rawMonoid_22 ∷ T_RawMonoid_64 Source #

d_'42''45'1'45'rawGroup_24 ∷ T_RawGroup_96 Source #