package qcheck-lin

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Make_internal (Spec : Lin.Internal.CmdSpec) : sig ... end

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

val fork : (unit -> unit) -> unit

Helper function to fork a process in the underlying Stdlib.Effect-based scheduler

val yield : unit -> unit

Helper function to yield control in the underlying Stdlib.Effect-based scheduler

module Make (Spec : Lin.Spec) : sig ... end

functor to build a module for Effect-based testing