Macro monotonic_fn 

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

Available on crate feature dfir_macro only.

Checks that the given closure is a monotonic function. For now does nothing.