Structs

Instantiate the polymorphic type from the quantified state.

Functions