Skip to main content

not

logicaffeine_base::tower

Function not 

Source 
pub fn not<V: TowerValue>(
    v: &V,
    recurse: &dyn Fn(V) -> Result<V, String>,
) -> Option<Result<V, String>>
Expand description

not lifted over residue branches and through provisional values; None for any other value.