Skip to main content

Ty

prop::path_semantics::ty

Type Alias Ty 

Source 
pub type Ty<A, T> = And<Imply<A, T>, POrdProof<A, T>>;
Expand description

Models a type relation a : t.