package core

  1. Overview
  2. Docs
package core
Legend:
Library
Module
Module type
Parameter
Class
Class type
module type Conv = sig ... end
module type Conv1 = sig ... end
module type Conv_filtered = sig ... end
module type Conv_filtered1 = sig ... end
module type S = Quickcheck.S
module type S1 = Quickcheck.S1
module type S2 = Quickcheck.S2
module type S_int = Quickcheck.S_int
module Of_quickcheckable (Quickcheckable : S) (Conv : Conv with type quickcheckable := Quickcheckable.t) : S with type t := Conv.t
module Of_quickcheckable1 (Quickcheckable : S1) (Conv : Conv1 with type 'a quickcheckable := 'a Quickcheckable.t) : S1 with type 'a t := 'a Conv.t