Enum BaseSort 

pub enum BaseSort {
    BitVec(u32),
    SortOf(Box<Ty>, Path),
    Path(SortPath),
    Tuple(Vec<BaseSort>),
}

Variants

BitVec(u32)

a bitvector sort, e.g., bitvec<32>

SortOf(Box<Ty>, Path)

Path(SortPath)

Tuple(Vec<BaseSort>)

a tuple sort, e.g., (int, bool)

Trait Implementations

impl Debug for BaseSort

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.