fact: Fixpoint tree_to_string (t : tree) := match t with | Leaf => "Leaf" | Node c l x r => "Node " ++ showColor c ++ " " ++ "(" ++ tree_to_string l ++ ") " ++ show x ++ " " ++ "(" ++ tree_to_string r ++ ")" end.
imports: QuickChick(QuickChick Generators) Lia mathcomp(ssreflect ssrnat ssrbool eqtype) QuickChick.RedBlack(redblack) List String