Quickcheckable (p.core.v0.15.1.doc.core.Core.Quickcheckable)

Sourcemodule type Conv = sig ... end

Sourcemodule type Conv1 = sig ... end

Sourcemodule type Conv_filtered = sig ... end

Sourcemodule type Conv_filtered1 = sig ... end

Sourcemodule type S = Quickcheck.S

Sourcemodule type S1 = Quickcheck.S1

Sourcemodule type S2 = Quickcheck.S2

Sourcemodule type S_int = Quickcheck.S_int

Source

module Of_quickcheckable
  (Quickcheckable : S)
  (Conv : Conv with type quickcheckable := Quickcheckable.t) : 
  S with type t := Conv.t

Source

module Of_quickcheckable1
  (Quickcheckable : S1)
  (Conv : Conv1 with type 'a quickcheckable := 'a Quickcheckable.t) : 
  S1 with type 'a t := 'a Conv.t

Source

module Of_quickcheckable_filtered
  (Quickcheckable : S)
  (Conv : Conv_filtered with type quickcheckable := Quickcheckable.t) : 
  S with type t := Conv.t

Source

module Of_quickcheckable_filtered1
  (Quickcheckable : S1)
  (Conv : Conv_filtered1 with type 'a quickcheckable := 'a Quickcheckable.t) : 
  S1 with type 'a t := 'a Conv.t