pub fn meter(
meter: &mut TranslationMeter<'_, '_>,
transaction: &Transaction,
) -> Result<(), ExecutionError>Expand description
After loading and type checking, we do a second pass over the typed transaction to charge for type-related properties (before further analysis is done):
- number of type nodes (including nested)
- number of type references. These are charged non-linearly