pub fn make_map_const_expr(f_ty: Expr, a: Expr, fb: Expr) -> Expr
Build a mapConst application expression.