Function prop::imply::id

source[−]
pub fn id<A: Prop>() -> Imply<A, A>
Expand description

a => a.