revmc_backend

Trait BackendTypes

Source 
pub trait BackendTypes: Sized {
    type Type: Copy + Eq + Debug;
    type Value: Copy + Eq + Debug;
    type StackSlot: Copy + Eq + Debug;
    type BasicBlock: Copy + Eq + Debug;
    type Function: Copy + Eq + Debug;
}

Required Associated Types§

Source

type Type: Copy + Eq + Debug

Source

type Value: Copy + Eq + Debug

Source

type StackSlot: Copy + Eq + Debug

Source

type BasicBlock: Copy + Eq + Debug

Source

type Function: Copy + Eq + Debug

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§

impl BackendTypes for EvmCraneliftBackend

impl BackendTypes for EvmCraneliftBuilder<'_>

impl<'ctx> BackendTypes for EvmLlvmBackend<'ctx>

impl<'ctx> BackendTypes for EvmLlvmBuilder<'_, 'ctx>