package qcheck-lin

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

functor to build an internal module representing concurrent tests

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

Parameters

module Spec : Lin.Internal.CmdSpec

val arb_cmds_triple : 
  int ->
  int ->
  (Spec.cmd list * Spec.cmd list * Spec.cmd list) QCheck.arbitrary

val lin_prop : (Spec.cmd list * Spec.cmd list * Spec.cmd list) -> bool

val lin_test : count:int -> name:string -> QCheck.Test.t

val neg_lin_test : count:int -> name:string -> QCheck.Test.t