pub trait Presort {
// Required methods
fn presort_name() -> &'static str;
fn reserved_primitives() -> Vec<&'static str>;
fn make_sort(
typeinfo: &mut TypeInfo,
name: String,
args: &[Expr],
) -> Result<ArcSort, TypeError>;
}Required Methods§
fn presort_name() -> &'static str
fn reserved_primitives() -> Vec<&'static str>
fn make_sort( typeinfo: &mut TypeInfo, name: String, args: &[Expr], ) -> Result<ArcSort, TypeError>
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.