(lang dune 2.9)
(name base_quickcheck)
(version v0.14.0)
(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
  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 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))))
