plutus-metatheory-0.1.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 Source #

d_Bool_6 ∷ () Source #

pattern C_false_8 ∷ Bool Source #

pattern C_true_10 ∷ Bool Source #