Module SUT.Make

Parameters

module M : sig ... end

Signature

type elt = M.sut

Type of a single SUT

type t

Values of type t represent a stack of SUTs

val create : int -> unit -> t

create n () creates an initial stack with n SUTs

val size : t -> int

size t returns the number of SUTs currently on the stack t

val get : t -> int -> elt

get t i gets the i-th SUT in the store

val push : t -> elt -> unit

push t e pushes the SUT e onto the stack t of SUTs

val get_name : t -> int -> string

get_name t n returns the name for the nth element of the stack t of SUTs