Up – Package index » core_kernel » Sources » core_kernel » quickcheckable.mlSource file quickcheckable.ml core_kernel CHANGES LICENSE README Library core_kernel Library core_kernel.balanced_reducer Library core_kernel.base_for_tests Library core_kernel.binary_packing Library core_kernel.bounded_int_table Library core_kernel.composition_infix Library core_kernel.fheap Library core_kernel.flags Library core_kernel.force_once Library core_kernel.hash_heap Library core_kernel.int_set Library core_kernel.limiter Library core_kernel.linked_stack Library core_kernel.moption Library core_kernel.pairing_heap Library core_kernel.pooled_hashtbl Library core_kernel.rope Library core_kernel.sexp_hidden_in_test Library core_kernel.thread_pool_cpu_affinity Library core_kernel.thread_safe_queue Library core_kernel.timing_wheel Library core_kernel.total_map Library core_kernel.tuple_pool Library core_kernel.univ Library core_kernel.unpack_buffer Library core_kernel.uopt Library core_kernel.uuid Library core_kernel.version_util Library core_kernel.weak_array Library core_kernel.weak_hashtbl Library core_kernel.weak_pointer Sources core_kernel core_kernel.balanced_reducer core_kernel.base_for_tests core_kernel.binary_packing core_kernel.bounded_int_table core_kernel.composition_infix core_kernel.fheap core_kernel.flags core_kernel.force_once core_kernel.hash_heap core_kernel.int_set core_kernel.limiter core_kernel.linked_stack core_kernel.moption core_kernel.pairing_heap core_kernel.pooled_hashtbl core_kernel.rope core_kernel.sexp_hidden_in_test core_kernel.thread_pool_cpu_affinity core_kernel.thread_safe_queue core_kernel.timing_wheel core_kernel.total_map core_kernel.tuple_pool core_kernel.univ core_kernel.unpack_buffer core_kernel.uopt core_kernel.uuid core_kernel.version_util core_kernel.weak_array core_kernel.weak_hashtbl core_kernel.weak_pointer 1
2
3
4
5
6
7
8
(** Provides functors for making a module quickcheckable with {!Quickcheck}. *)
open ! Import
module type S = Quickcheck . S
module type S1 = Quickcheck . S1
module type S2 = Quickcheck . S2
module type S_int = Quickcheck . S_int