Module Test.Arg

Test arguments.

type 'a t

The type for arguments of type 'a.

type value

The type for argument values.

val make : unit -> 'a t

make () is a new test argument.

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

value arg v is the argument arg value v.