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