Module Test.Arg

Test arguments.

Arguments

type 'a t

The type for arguments of type 'a.

val make : unit -> 'a t

make () is a new test argument.

Defining them

type value

The type for argument values.

val value : 'a t -> 'a -> value

value arg v is arg with a value of v.