hax_engine_names::hax::control_flow_monad

Trait ControlFlowMonad

Source 
trait ControlFlowMonad {
    // Provided method
    fn lift() { ... }
}

Provided Methods§

Source

fn lift()

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§