Documentation

Lean.Data.LBool

inductive Lean.LBool :
Instances For
    Equations
    Instances For
      Equations
      Instances For
        Equations
        Instances For
          @[inline]
          def toLBoolM {m : TypeType} [Monad m] (x : m Bool) :
          Equations
          Instances For