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