let
pp_title fmt x =
Format
.fprintf fmt
"Symmetry of Equality for %a"
F
.
Compinfo
.pp_title x