Skip to main content

implicit_pi

oxilean_std::array::functions

Function implicit_pi 

Source 
pub fn implicit_pi(name: &str, ty: Expr, body: Expr) -> Expr
Expand description

An implicit Pi binder.