Enum Sort

pub enum Sort {
    Base(BaseSort),
    Func {
        inputs: Vec<BaseSort>,
        output: BaseSort,
    },
    Infer,
}

Variants

Base(BaseSort)

A base sort, e.g., int or bool.

Func

A function sort of the form (bi,...) -> bo where bi.. and bo are all base sorts.

Fields

inputs: Vec<BaseSort>

output: BaseSort

Infer

A sort that needs to be inferred.

Trait Implementations

impl Debug for Sort

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

Formats the value using the given formatter.