Type Definition prop::quantify::App

source · [−]
pub type App<P, A> = <P as Pred>::Out<A>;
Expand description

Apply a single argument to predicate.