Make.Spec
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