pub fn truth<'fml, A>(b: bool) -> Formula<'fml, A> {
    if b {
        top()
    } else {
        bottom("truth")
    }
}
/// True if the given boolean is true.
True if the given boolean is true.
True if the given boolean is true .
pub fn truth<'fml, A>(b: bool) -> Formula<'fml, A> {
    if b {
        top()
    } else {
        bottom("truth")
    }
}
pub fn truth < ' fml , A > ( b : bool ) -> Formula < ' fml , A > { if b { top ( ) } else { bottom ( " " ) } }
True if the given boolean is true.
True if the given boolean is true .
b
bool
b
bool