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

MAlonzo.Code.Agda.Builtin.Bool

Documentation

type T_Bool_6 = Bool #

d_Bool_6 :: () #

pattern C_false_8 :: Bool #

pattern C_true_10 :: Bool #