pub fn evaluate_apply(
    ctx: Context,
    value: &LocExpr,
    args: &ArgsDesc,
    loc: CallLocation<'_>,
    tailstrict: bool
) -> Result<Val>