
; main lib
(library
  (name logtk_arbitrary)
  (public_name logtk.arbitrary)
  (synopsis "random generators for logtk")
  (optional)
  (libraries containers logtk qcheck-core iter)
  )




