(coq.theory
  (name QuickChick.RedBlack)
  (theories QuickChick)
  (modules
    redblack
    testing
    verif
  ))
