Macro miden_span_record 

miden_span_record!() { /* proc-macro */ }

Records canonical attributes on the current miden_instrument span.

Field values must implement RecordAttribute, and their names must be registered for the value type. A field whose name ends in .count accepts any usize without registration. Append #[nonstandard] to any other field value to permit an unregistered name while retaining its canonical encoding.