(library (name univ) (public_name core_kernel.univ) (libraries core)
 (preprocess (pps ppx_jane)))