Contract Expectation Types

These constants correspond to Julia's ContractExpectation enum

Usage

RequiredInput

OptionalInput

CreatedOutput

GuaranteedOutput

OptionalOutput

Format

An object of class character of length 1.

An object of class character of length 1.

An object of class character of length 1.

An object of class character of length 1.

An object of class character of length 1.

Value

A character string representing a contract expectation type.