package ortac-runtime-qcheck-stm

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `SUT.Make`Source

module M : sig ... end

Sourcetype elt = M.sut

Type of a single SUT

Sourcetype t

Values of type t represent a stack of SUTs

Sourceval create : int -> unit -> t

create n () creates an initial stack with n SUTs

Sourceval size : t -> int

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

Sourceval get : t -> int -> elt

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

Sourceval push : t -> elt -> unit

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

Sourceval get_name : t -> int -> string

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