(library
 (name pseudo)
 (public_name pickles.pseudo)
 (flags
  (:standard -w +a-40..42-44 -warn-error +a)
  -open
  Core_kernel)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps ppx_version ppx_mina ppx_jane ppx_deriving.std ppx_deriving_yojson))
 (libraries
  ;; opam libraries
  core_kernel
  ;; local libraries
  pickles_types
  pickles.plonk_checks
  pickles_base.one_hot_vector
  snarky.backendless
  pickles_base))
