Skip to main content

arrow

Function arrow 

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

Build a non-dependent arrow A -> B.