Skip to main content

pi

oxilean_kernel::expr_util::functions

Function pi 

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

Shorthand: create a pi type.