Function not

Source
fn not(a: bool) -> bool