package qcheck-lin

  1. Overview
  2. Docs

functor to build an internal module representing Stdlib.Effect-based tests

  • alert internal This module is exposed for internal uses only, its API may change at any time

Parameters

Signature

module EffSpec : sig ... end
val arb_cmds_triple : int -> int -> (EffSpec.cmd list * EffSpec.cmd list * EffSpec.cmd list) QCheck.arbitrary
val lin_prop : (EffSpec.cmd list * EffSpec.cmd list * EffSpec.cmd list) -> bool
val lin_test : count:int -> name:string -> QCheck.Test.t
val neg_lin_test : count:int -> name:string -> QCheck.Test.t
OCaml

Innovation. Community. Security.