PlutusCore.StdLib.Data.Bool

valuebool :: HasTypeLevel uni Bool => Type tyname uni ()

valuefalse :: (TermLike term tyname name uni fun, HasTermLevel uni Bool) => term ()

value

ifThenElse :: (TermLike term TyName Name uni DefaultFun, HasTypeAndTermLevel uni Bool, HasTypeAndTermLevel uni ()) => term ()

valuetrue :: (TermLike term tyname name uni fun, HasTermLevel uni Bool) => term ()