package qcheck-lin

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type `Lin.Spec`Source

The required description of a module signature

Sourcetype t

The type of the system under test

Sourceval init : unit -> t

The function to initialize the system under test

Sourceval cleanup : t -> unit

The function to cleanup the system under test

Sourceval api : (int * t elem) list

A description of the function signatures