Skip to main content

Convert

polyhorn_android::raw

Trait Convert 

Source 
pub trait Convert<T> {
    // Required method
    fn convert(self, env: &Env<'_>) -> T;
}

Required Methods§

Source

fn convert(self, env: &Env<'_>) -> T

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§