(library
  (name school_quickcheck)
  (modules school_quickcheck)
  (libraries qcheck)
  (preprocess (pps ppx_deriving_qcheck)))