(** 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_ldiff_and : forall a b,
lor (ldiff a b) (land a b) == a.