algebraeon_sets::structure

Trait MetaType

Source 
pub trait MetaType: Clone + Debug {
    type Structure: Structure<Set = Self>;

    // Required method
    fn structure() -> Rc<Self::Structure>;
}

Required Associated Types§

Source

type Structure: Structure<Set = Self>

Required Methods§

Source

fn structure() -> Rc<Self::Structure>

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§