Make_internal (qcheck-lin.Lin_effect.Make

Parameters

module Spec : Lin.Internal.CmdSpec

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