If a meter is provided, the new dynamic vat is limited to a fixed
amount of computation and allocation that can occur during any
given crank. Peak stack frames are limited as well. In addition,
the given meter's "remaining" value will be reduced by the amount
of computation used by each crank. The meter will eventually
underflow unless it is topped up, at which point the vat is
terminated. If undefined, the vat is unmetered. Static vats
cannot be metered.
If a meter is provided, the new dynamic vat is limited to a fixed amount of computation and allocation that can occur during any given crank. Peak stack frames are limited as well. In addition, the given meter's "remaining" value will be reduced by the amount of computation used by each crank. The meter will eventually underflow unless it is topped up, at which point the vat is terminated. If undefined, the vat is unmetered. Static vats cannot be metered.