package qcheck-lin

  1. Overview
  2. Docs

The required description of a module signature

type t

The type of the system under test

val init : unit -> t

The function to initialize the system under test

val cleanup : t -> unit

The function to cleanup the system under test

val api : (int * t elem) list

A description of the function signatures