Trait SortSubstDelegate 

trait SortSubstDelegate {
    // Required methods
    fn sort_for_param(&self, var: ParamSort) -> Sort;
    fn bv_size_for_param(&self, var: ParamSort) -> BvSize;
}

Required Methods

fn sort_for_param(&self, var: ParamSort) -> Sort

fn bv_size_for_param(&self, var: ParamSort) -> BvSize

Dyn Compatibility

This trait is dyn compatible.

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

Implementations on Foreign Types

impl SortSubstDelegate for &[SortArg]

fn sort_for_param(&self, var: ParamSort) -> Sort

fn bv_size_for_param(&self, var: ParamSort) -> BvSize

impl SortSubstDelegate for &[Sort]

fn sort_for_param(&self, var: ParamSort) -> Sort

fn bv_size_for_param(&self, _var: ParamSort) -> BvSize

Implementors