(library
 (name bindings_js)
 (public_name bindings_js)
 (js_of_ocaml
  (javascript_files
   bindings/bigint256.js
   bindings/field.js
   bindings/curve.js
   bindings/vector.js
   bindings/gate-vector.js
   bindings/oracles.js
   bindings/pickles-test.js
   bindings/proof.js
   bindings/prover-index.js
   bindings/util.js
   bindings/srs.js
   bindings/verifier-index.js))
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps ppx_version)))
