Type Definition prop::path_semantics::Ty

source · [−]
pub type Ty<A, T> = And<Imply<A, T>, POrdProof<A, T>>;
Expand description

Models a type relation a : t.