fact: Definition deprecated_bool_cmp (l r : bool) : comparison := match l , r with | true , false => Gt | false , true => Lt | true , true | false , false => Eq end.
imports: Coq.Strings.String Coq.Program.Program Coq.Arith.PeanoNat ExtLib.Tactics.Consider ExtLib.Core.RelDec ExtLib.Structures.Reducible ExtLib.Structures.Monoid ExtLib.Data.Char ExtLib.Data.Nat