Function melior::pass::transform::register_generate_runtime_verification
source · pub fn register_generate_runtime_verification()
Expand description
Registers a GenerateRuntimeVerification
pass.