(library
 (name ppx_symex_expander)
 (public_name soteria.ppx.expander)
 (libraries ppxlib)
 (preprocess
  (pps ppxlib.metaquot)))
