(lang dune 3.4)
(name base_quickcheck)
(version 0.15.0)
(sections
 (lib /usr/lib64/ocaml/base_quickcheck)
 (libexec /usr/lib64/ocaml/base_quickcheck)
 (doc /usr/doc/base_quickcheck))
(files
 (lib
  (META
   base_quickcheck.a
   base_quickcheck.cma
   base_quickcheck.cmi
   base_quickcheck.cmt
   base_quickcheck.cmx
   base_quickcheck.cmxa
   base_quickcheck.ml
   base_quickcheck__.cmi
   base_quickcheck__.cmt
   base_quickcheck__.cmx
   base_quickcheck__.ml
   base_quickcheck__Bigarray_helpers.cmi
   base_quickcheck__Bigarray_helpers.cmt
   base_quickcheck__Bigarray_helpers.cmti
   base_quickcheck__Bigarray_helpers.cmx
   base_quickcheck__Export.cmi
   base_quickcheck__Export.cmt
   base_quickcheck__Export.cmti
   base_quickcheck__Export.cmx
   base_quickcheck__Generator.cmi
   base_quickcheck__Generator.cmt
   base_quickcheck__Generator.cmti
   base_quickcheck__Generator.cmx
   base_quickcheck__Observer.cmi
   base_quickcheck__Observer.cmt
   base_quickcheck__Observer.cmti
   base_quickcheck__Observer.cmx
   base_quickcheck__Observer0.cmi
   base_quickcheck__Observer0.cmt
   base_quickcheck__Observer0.cmti
   base_quickcheck__Observer0.cmx
   base_quickcheck__Shrinker.cmi
   base_quickcheck__Shrinker.cmt
   base_quickcheck__Shrinker.cmti
   base_quickcheck__Shrinker.cmx
   base_quickcheck__Test.cmi
   base_quickcheck__Test.cmt
   base_quickcheck__Test.cmti
   base_quickcheck__Test.cmx
   base_quickcheck__Test_intf.cmi
   base_quickcheck__Test_intf.cmt
   base_quickcheck__Test_intf.cmx
   base_quickcheck__With_basic_types.cmi
   base_quickcheck__With_basic_types.cmt
   base_quickcheck__With_basic_types.cmx
   bigarray_helpers.ml
   bigarray_helpers.mli
   dune-package
   export.ml
   export.mli
   generator.ml
   generator.mli
   observer.ml
   observer.mli
   observer0.ml
   observer0.mli
   opam
   ppx_quickcheck/expander/clause_syntax.ml
   ppx_quickcheck/expander/clause_syntax.mli
   ppx_quickcheck/expander/clause_syntax_intf.ml
   ppx_quickcheck/expander/environment.ml
   ppx_quickcheck/expander/environment.mli
   ppx_quickcheck/expander/field_syntax.ml
   ppx_quickcheck/expander/field_syntax.mli
   ppx_quickcheck/expander/field_syntax_intf.ml
   ppx_quickcheck/expander/import.ml
   ppx_quickcheck/expander/ppx_generator_expander.ml
   ppx_quickcheck/expander/ppx_generator_expander.mli
   ppx_quickcheck/expander/ppx_observer_expander.ml
   ppx_quickcheck/expander/ppx_observer_expander.mli
   ppx_quickcheck/expander/ppx_quickcheck_expander.a
   ppx_quickcheck/expander/ppx_quickcheck_expander.cma
   ppx_quickcheck/expander/ppx_quickcheck_expander.cmi
   ppx_quickcheck/expander/ppx_quickcheck_expander.cmt
   ppx_quickcheck/expander/ppx_quickcheck_expander.cmti
   ppx_quickcheck/expander/ppx_quickcheck_expander.cmx
   ppx_quickcheck/expander/ppx_quickcheck_expander.cmxa
   ppx_quickcheck/expander/ppx_quickcheck_expander.ml
   ppx_quickcheck/expander/ppx_quickcheck_expander.mli
   ppx_quickcheck/expander/ppx_quickcheck_expander__.cmi
   ppx_quickcheck/expander/ppx_quickcheck_expander__.cmt
   ppx_quickcheck/expander/ppx_quickcheck_expander__.cmx
   ppx_quickcheck/expander/ppx_quickcheck_expander__.ml
   ppx_quickcheck/expander/ppx_quickcheck_expander__Clause_syntax.cmi
   ppx_quickcheck/expander/ppx_quickcheck_expander__Clause_syntax.cmt
   ppx_quickcheck/expander/ppx_quickcheck_expander__Clause_syntax.cmti
   ppx_quickcheck/expander/ppx_quickcheck_expander__Clause_syntax.cmx
   ppx_quickcheck/expander/ppx_quickcheck_expander__Clause_syntax_intf.cmi
   ppx_quickcheck/expander/ppx_quickcheck_expander__Clause_syntax_intf.cmt
   ppx_quickcheck/expander/ppx_quickcheck_expander__Clause_syntax_intf.cmx
   ppx_quickcheck/expander/ppx_quickcheck_expander__Environment.cmi
   ppx_quickcheck/expander/ppx_quickcheck_expander__Environment.cmt
   ppx_quickcheck/expander/ppx_quickcheck_expander__Environment.cmti
   ppx_quickcheck/expander/ppx_quickcheck_expander__Environment.cmx
   ppx_quickcheck/expander/ppx_quickcheck_expander__Field_syntax.cmi
   ppx_quickcheck/expander/ppx_quickcheck_expander__Field_syntax.cmt
   ppx_quickcheck/expander/ppx_quickcheck_expander__Field_syntax.cmti
   ppx_quickcheck/expander/ppx_quickcheck_expander__Field_syntax.cmx
   ppx_quickcheck/expander/ppx_quickcheck_expander__Field_syntax_intf.cmi
   ppx_quickcheck/expander/ppx_quickcheck_expander__Field_syntax_intf.cmt
   ppx_quickcheck/expander/ppx_quickcheck_expander__Field_syntax_intf.cmx
   ppx_quickcheck/expander/ppx_quickcheck_expander__Import.cmi
   ppx_quickcheck/expander/ppx_quickcheck_expander__Import.cmt
   ppx_quickcheck/expander/ppx_quickcheck_expander__Import.cmx
   ppx_quickcheck/expander/ppx_quickcheck_expander__Ppx_generator_expander.cmi
   ppx_quickcheck/expander/ppx_quickcheck_expander__Ppx_generator_expander.cmt
   ppx_quickcheck/expander/ppx_quickcheck_expander__Ppx_generator_expander.cmti
   ppx_quickcheck/expander/ppx_quickcheck_expander__Ppx_generator_expander.cmx
   ppx_quickcheck/expander/ppx_quickcheck_expander__Ppx_observer_expander.cmi
   ppx_quickcheck/expander/ppx_quickcheck_expander__Ppx_observer_expander.cmt
   ppx_quickcheck/expander/ppx_quickcheck_expander__Ppx_observer_expander.cmti
   ppx_quickcheck/expander/ppx_quickcheck_expander__Ppx_observer_expander.cmx
   ppx_quickcheck/expander/ppx_quickcheck_expander__Ppx_shrinker_expander.cmi
   ppx_quickcheck/expander/ppx_quickcheck_expander__Ppx_shrinker_expander.cmt
   ppx_quickcheck/expander/ppx_quickcheck_expander__Ppx_shrinker_expander.cmti
   ppx_quickcheck/expander/ppx_quickcheck_expander__Ppx_shrinker_expander.cmx
   ppx_quickcheck/expander/ppx_shrinker_expander.ml
   ppx_quickcheck/expander/ppx_shrinker_expander.mli
   ppx_quickcheck/ppx_quickcheck.a
   ppx_quickcheck/ppx_quickcheck.cma
   ppx_quickcheck/ppx_quickcheck.cmi
   ppx_quickcheck/ppx_quickcheck.cmt
   ppx_quickcheck/ppx_quickcheck.cmti
   ppx_quickcheck/ppx_quickcheck.cmx
   ppx_quickcheck/ppx_quickcheck.cmxa
   ppx_quickcheck/ppx_quickcheck.ml
   ppx_quickcheck/ppx_quickcheck.mli
   ppx_quickcheck/runtime/ppx_quickcheck_runtime.a
   ppx_quickcheck/runtime/ppx_quickcheck_runtime.cma
   ppx_quickcheck/runtime/ppx_quickcheck_runtime.cmi
   ppx_quickcheck/runtime/ppx_quickcheck_runtime.cmt
   ppx_quickcheck/runtime/ppx_quickcheck_runtime.cmx
   ppx_quickcheck/runtime/ppx_quickcheck_runtime.cmxa
   ppx_quickcheck/runtime/ppx_quickcheck_runtime.ml
   ppx_quickcheck/runtime/ppx_quickcheck_runtime__.cmi
   ppx_quickcheck/runtime/ppx_quickcheck_runtime__.cmt
   ppx_quickcheck/runtime/ppx_quickcheck_runtime__.cmx
   ppx_quickcheck/runtime/ppx_quickcheck_runtime__.ml
   ppx_quickcheck/runtime/ppx_quickcheck_runtime__Quickcheckable.cmi
   ppx_quickcheck/runtime/ppx_quickcheck_runtime__Quickcheckable.cmt
   ppx_quickcheck/runtime/ppx_quickcheck_runtime__Quickcheckable.cmx
   ppx_quickcheck/runtime/quickcheckable.ml
   shrinker.ml
   shrinker.mli
   test.ml
   test.mli
   test_intf.ml
   with_basic_types.ml))
 (libexec
  (base_quickcheck.cmxs
   ppx_quickcheck/expander/ppx_quickcheck_expander.cmxs
   ppx_quickcheck/ppx_quickcheck.cmxs
   ppx_quickcheck/runtime/ppx_quickcheck_runtime.cmxs))
 (doc (LICENSE.md odoc-pages/index.mld)))
(library
 (name base_quickcheck)
 (kind normal)
 (archives (byte base_quickcheck.cma) (native base_quickcheck.cmxa))
 (plugins (byte base_quickcheck.cma) (native base_quickcheck.cmxs))
 (native_archives base_quickcheck.a)
 (requires
  base
  splittable_random
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_here.runtime-lib
  fieldslib
  ppx_compare.runtime-lib
  ppx_enumerate.runtime-lib
  ppx_hash.runtime-lib)
 (main_module_name Base_quickcheck)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Base_quickcheck)
   (modules
    ((name Base_quickcheck)
     (obj_name base_quickcheck)
     (visibility public)
     (impl))
    ((name Bigarray_helpers)
     (obj_name base_quickcheck__Bigarray_helpers)
     (visibility public)
     (impl)
     (intf))
    ((name Export)
     (obj_name base_quickcheck__Export)
     (visibility public)
     (impl)
     (intf))
    ((name Generator)
     (obj_name base_quickcheck__Generator)
     (visibility public)
     (impl)
     (intf))
    ((name Observer)
     (obj_name base_quickcheck__Observer)
     (visibility public)
     (impl)
     (intf))
    ((name Observer0)
     (obj_name base_quickcheck__Observer0)
     (visibility public)
     (impl)
     (intf))
    ((name Shrinker)
     (obj_name base_quickcheck__Shrinker)
     (visibility public)
     (impl)
     (intf))
    ((name Test)
     (obj_name base_quickcheck__Test)
     (visibility public)
     (impl)
     (intf))
    ((name Test_intf)
     (obj_name base_quickcheck__Test_intf)
     (visibility public)
     (impl))
    ((name With_basic_types)
     (obj_name base_quickcheck__With_basic_types)
     (visibility public)
     (impl)))
   (alias_module
    (name Base_quickcheck__)
    (obj_name base_quickcheck__)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name base_quickcheck.ppx_quickcheck)
 (kind ppx_deriver)
 (archives
  (byte ppx_quickcheck/ppx_quickcheck.cma)
  (native ppx_quickcheck/ppx_quickcheck.cmxa))
 (plugins
  (byte ppx_quickcheck/ppx_quickcheck.cma)
  (native ppx_quickcheck/ppx_quickcheck.cmxs))
 (native_archives ppx_quickcheck/ppx_quickcheck.a)
 (requires ppxlib.ast ppxlib base_quickcheck.ppx_quickcheck.expander)
 (main_module_name Ppx_quickcheck)
 (modes byte native)
 (modules
  (singleton
   (name Ppx_quickcheck)
   (obj_name ppx_quickcheck)
   (visibility public)
   (impl)
   (intf))))
(library
 (name base_quickcheck.ppx_quickcheck.expander)
 (kind normal)
 (archives
  (byte ppx_quickcheck/expander/ppx_quickcheck_expander.cma)
  (native ppx_quickcheck/expander/ppx_quickcheck_expander.cmxa))
 (plugins
  (byte ppx_quickcheck/expander/ppx_quickcheck_expander.cma)
  (native ppx_quickcheck/expander/ppx_quickcheck_expander.cmxs))
 (native_archives ppx_quickcheck/expander/ppx_quickcheck_expander.a)
 (requires base ppxlib.ast ppxlib compiler-libs.common)
 (ppx_runtime_deps base_quickcheck.ppx_quickcheck.runtime base_quickcheck)
 (main_module_name Ppx_quickcheck_expander)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Ppx_quickcheck_expander)
   (modules
    ((name Clause_syntax)
     (obj_name ppx_quickcheck_expander__Clause_syntax)
     (visibility public)
     (impl)
     (intf))
    ((name Clause_syntax_intf)
     (obj_name ppx_quickcheck_expander__Clause_syntax_intf)
     (visibility public)
     (impl))
    ((name Environment)
     (obj_name ppx_quickcheck_expander__Environment)
     (visibility public)
     (impl)
     (intf))
    ((name Field_syntax)
     (obj_name ppx_quickcheck_expander__Field_syntax)
     (visibility public)
     (impl)
     (intf))
    ((name Field_syntax_intf)
     (obj_name ppx_quickcheck_expander__Field_syntax_intf)
     (visibility public)
     (impl))
    ((name Import)
     (obj_name ppx_quickcheck_expander__Import)
     (visibility public)
     (impl))
    ((name Ppx_generator_expander)
     (obj_name ppx_quickcheck_expander__Ppx_generator_expander)
     (visibility public)
     (impl)
     (intf))
    ((name Ppx_observer_expander)
     (obj_name ppx_quickcheck_expander__Ppx_observer_expander)
     (visibility public)
     (impl)
     (intf))
    ((name Ppx_quickcheck_expander)
     (obj_name ppx_quickcheck_expander)
     (visibility public)
     (impl)
     (intf))
    ((name Ppx_shrinker_expander)
     (obj_name ppx_quickcheck_expander__Ppx_shrinker_expander)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name Ppx_quickcheck_expander__)
    (obj_name ppx_quickcheck_expander__)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name base_quickcheck.ppx_quickcheck.runtime)
 (kind normal)
 (archives
  (byte ppx_quickcheck/runtime/ppx_quickcheck_runtime.cma)
  (native ppx_quickcheck/runtime/ppx_quickcheck_runtime.cmxa))
 (plugins
  (byte ppx_quickcheck/runtime/ppx_quickcheck_runtime.cma)
  (native ppx_quickcheck/runtime/ppx_quickcheck_runtime.cmxs))
 (native_archives ppx_quickcheck/runtime/ppx_quickcheck_runtime.a)
 (requires base base_quickcheck)
 (main_module_name Ppx_quickcheck_runtime)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Ppx_quickcheck_runtime)
   (modules
    ((name Ppx_quickcheck_runtime)
     (obj_name ppx_quickcheck_runtime)
     (visibility public)
     (impl))
    ((name Quickcheckable)
     (obj_name ppx_quickcheck_runtime__Quickcheckable)
     (visibility public)
     (impl)))
   (alias_module
    (name Ppx_quickcheck_runtime__)
    (obj_name ppx_quickcheck_runtime__)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
