Trait Types 

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

Required Associated Types

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

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

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

type String: FixpointFmt + Hash + Clone + Debug + Eq

type Real: FixpointFmt + Hash + Clone + Debug + Eq

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

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl Types for StringTypes

type Sort = String

type KVar = String

type Var = String

type Tag = String

type String = String

type Real = String