Skip to main content

mk_arrows

oxilean_kernel::expr::functions

Function mk_arrows 

Source 
pub fn mk_arrows(tys: &[Expr]) -> Expr
Expand description

Build a chain of non-dependent arrow types.

mk_arrows(&[A, B, C]) produces A → B → C.