(** Properties of [lxor] and others, directly deduced from properties of [xorb] and others. *)
#[global]
Instance land_wd : Proper (eq ==> eq ==> eq) land.
#[global]
Instance lor_wd : Proper (eq ==> eq ==> eq) lor.
#[global]
Instance ldiff_wd : Proper (eq ==> eq ==> eq) ldiff.

Lemma lor_eq_0_l : forall a b, lor a b == 0 -> a == 0.