(coq.theory
  (name QuickChick.Doc)
  (theories QuickChick)
  (modules QuickChickInterface DocumentationCheck))
