Skip to main content

is_tautological

Function is_tautological 

Source
fn is_tautological(a: ArgKind, b: ArgKind) -> bool