(env
 (_
  (flags
   (:standard -warn-error +5))))

(executable
 (public_name main)
 (modules main)
 (flags
  (:standard -rectypes))
 (libraries lib1)
 (preprocess
  (pps OCanren-ppx.ppx_repr OCanren-ppx.ppx_fresh GT.ppx GT.ppx_all)))