Function arrow4 

pub fn arrow4(a: Expr, b: Expr, c: Expr, d: Expr) -> Expr