Attribute Macro miden_instrument 

#[miden_instrument]

Instruments a function using canonical tracing attributes.

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.