Trait Concretization

pub trait Concretization<T> {
    // Required method
    fn concretize(self) -> T;
}

Marks a type as abstract: its values can be lowered to concrete values. This might panic.

Required Methods

fn concretize(self) -> T

Maps an abstract value and lowers it to its concrete counterpart.

Implementors