Type Alias IsProp 

pub type IsProp<A> = IsHType<S<Z>, A>;

Whether some type is a homotopy proposition of level 1.

Aliased Type

pub struct IsProp<A>(/* private fields */);