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

MAlonzo.Code.Data.Bool.Base

Documentation

d__'8804'__10 ∷ p → p → () Source #

data T__'8804'__10 Source #

Constructors

C_f'8804't_12 
C_b'8804'b_16 

d__'60'__18 ∷ p → p → () Source #

data T__'60'__18 Source #

Constructors

C_f'60't_20 

d_not_22 ∷ Bool → Bool Source #

d__'8743'__24 ∷ Bool → Bool → Bool Source #

d__'8744'__30 ∷ Bool → Bool → Bool Source #

d__xor__36 ∷ Bool → Bool → Bool Source #

d_T_42 ∷ Bool → () Source #

d_if_then_else__44 ∷ T_Level_18 → () → Bool → AgdaAny → AgdaAny → AgdaAny Source #

du_if_then_else__44 ∷ Bool → AgdaAny → AgdaAny → AgdaAny Source #