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

Implementations on Foreign Types

impl SortSubstDelegate for &[Sort]

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

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

impl SortSubstDelegate for &[SortArg]

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

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

Implementors