Trait Types

pub trait Types {
    type Sort: Identifier + Hash + Clone;
    type KVar: Identifier + Hash;
    type Var: Identifier + Hash;
    type Numeral: FixpointFmt + Hash;
    type Decimal: FixpointFmt + Hash;
    type String: FixpointFmt + Hash;
    type Tag: Display + FromStr + Hash;
}

Required Associated Types

type Sort: Identifier + Hash + Clone

type KVar: Identifier + Hash

type Var: Identifier + Hash

type Numeral: FixpointFmt + Hash

type Decimal: FixpointFmt + Hash

type String: FixpointFmt + Hash

type Tag: Display + FromStr + Hash

Implementors

impl Types for DefaultTypes

type Sort = &'static str

type KVar = &'static str

type Var = &'static str

type Tag = String

type Numeral = i128

type Decimal = i128

type String = String