1 Generalizable All Variables.
2 Require Import Preamble.
4 (******************************************************************************)
5 (* Chapter 3.4: CoEqualizers *)
6 (******************************************************************************)