\import Algebra.Ring.Boolean
\import Algebra.Ring.Sub
\import Paths.Meta

\class SubBooleanPseudoRing \extends SubPseudoRing {
  \override S : BooleanRing

  \func IBooleanPseudoRing : BooleanRing \cowith
    | PseudoRing => IPseudoRing
    | isBooleanRing => ext isBooleanRing
}