pub fn meter(
    meter: &mut TranslationMeter<'_, '_>,
    transaction: &Transaction,
) -> Result<(), ExecutionError>
Expand description

After loading and before type checking we do a pass over the loaded transaction to charge for types that occured in the transaction and were loaded. We simply charge for the number of type nodes that were loaded.