Expand description

This module supports translations of specifications as found in the move-model to expressions which can be used in assumes/asserts in bytecode.

Structs