Skip to main content

default_pi

oxilean_std::array::functions

Function default_pi 

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

A default (explicit) Pi binder.