1 Generalizable All Variables.
2 Require Import Preamble.
3 Require Import General.
5 (******************************************************************************)
6 (* Chapter 3.3: Equalizers *)
7 (******************************************************************************)