U96Guarantee

A value that is guaranteed to fit in a u96.

The destructor of the type verifies that the value is indeed within the range of a u96.

Fully qualified path: core::circuit::U96Guarantee

extern type U96Guarantee;