Trait verified::bool::Bool

pub trait Bool: Choice<False, True> + Default { }

Implementors

impl Bool for False

impl Bool for True

impl<Lhs: Bool, Rhs: Bool> Bool for BinOp<Lhs, Rhs>

Loading content...