Skip to main content

mk_arrow

oxilean_kernel::expr::functions

Function mk_arrow 

Source 
pub fn mk_arrow(a: Expr, b: Expr) -> Expr
Expand description

Build a non-dependent arrow type: a → b.