package qcheck-lin

  1. Overview
  2. Docs
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 Lin.elem) list

A description of the function signatures