Module value
leo_core::types
An intermediate value format that can be converted into a ConstrainedValue for the compiler TODO(collinc97): implement other constrained values
ConstrainedValue