Trait Types 

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

Required Associated Types

type Sort: Identifier + Hash + Clone + Debug

type KVar: Identifier + Hash + Clone + Debug + Eq

type Var: Identifier + Hash + Clone + Debug + Eq

type Decimal: FixpointFmt + Hash + Clone + Debug

type String: FixpointFmt + Hash + Clone + Debug

type Tag: Display + FromStr + Hash + Clone + Debug

Implementors

impl Types for ParsingTypes

type Sort = String

type KVar = String

type Var = String

type Tag = String

type Decimal = u32

type String = String

impl Types for DefaultTypes

type Sort = &'static str

type KVar = &'static str

type Var = &'static str

type Tag = String

type Decimal = u32

type String = String