Module parameter

This module contains the definition of a parameter. A parameter is a variable that is used in an action or a predicate.

Structs

Parameter

A parameter (untyped). This is a wrapper around a string.