Skip to main content

is_pi

oxilean_kernel

Function is_pi 

Source 
pub fn is_pi(expr: &Expr) -> bool
Expand description

Check whether an expression is a Pi-type (possibly nested).