Function prop::fun::id_def

source · 
pub fn id_def<A: Prop>() -> Eq<App<FId, A>, A>
Expand description

Definition of identity function.