fact: Definition cprint {A} (s : string) (c : A) : t unit := x <- pretty_print c; let s := reduce RedNF (s ++ x)%string in print s.
imports: Strings.String NArith.BinNat Mtac2(Logic Datatypes Logic List Utils MTele Pattern Specif)