(library
 (name api)
 (libraries chadprover dream)
 (preprocess (pps lwt_ppx ppx_yojson_conv)))