2 { AnnotatedAST.f_annotation
= (); f_mode
= <opaque
>;
3 f_ret
= (Some
([3:21-3:24], (Hprim Tint
)));
4 f_name
= ([3:10-3:11], "\\f"); f_tparams = [];
5 f_where_constraints
= []; f_variadic
= FVnonVariadic
;
7 [{ AnnotatedAST.param_annotation
= ([3:16-3:18], int);
8 param_hint
= (Some
([3:12-3:15], (Hprim Tint
)));
9 param_is_reference
= false
; param_is_variadic
= false
;
10 param_pos
= [3:16-3:18]; param_name
= "$x"; param_expr = None;
11 param_callconv
= None; param_user_attributes
= [] }
15 { AnnotatedAST.fnb_nast
=
18 (Binop
((Eq
(Some Minus
)),
19 (([4:3-4:5], int), (Lvar
([4:3-4:5], $x
))),
20 (([4:9-4:10], int), (Int ([4:9-4:10], "4")))))));
23 (Binop
((Eq
(Some Plus
)),
24 (([5:3-5:5], int), (Lvar
([5:3-5:5], $x
))),
25 (([5:9-5:10], int), (Int ([5:9-5:10], "4")))))));
28 (Binop
((Eq
(Some Star
)),
29 (([6:3-6:5], int), (Lvar
([6:3-6:5], $x
))),
30 (([6:9-6:10], int), (Int ([6:9-6:10], "4")))))));
32 (([8:3-8:11], array
<int>),
34 (([8:3-8:7], array
<int>), (Lvar
([8:3-8:7], $arr
))),
35 (([8:10-8:11], array
<int>),
38 (([8:11-8:12], int), (Int ([8:11-8:12], "1"))));
40 (([8:14-8:15], int), (Int ([8:14-8:15], "2"))));
42 (([8:17-8:18], int), (Int ([8:17-8:18], "3"))));
44 (([8:20-8:21], int), (Int ([8:20-8:21], "4"))))
50 (([8:24-8:26], int), (Lvar
([8:24-8:26], $i
))),
51 (([8:29-8:30], int), (Int ([8:29-8:30], "2")))))));
54 (Binop
((Eq
(Some Plus
)),
57 (([9:3-9:7], array
<int>), (Lvar
([9:3-9:7], $arr
))),
58 (Some
(([9:8-9:14], int),
60 (([9:8-9:10], int), (Lvar
([9:8-9:10], $i
))),
62 (Int ([9:13-9:14], "1")))
65 (([9:19-9:20], int), (Int ([9:19-9:20], "4")))))));
66 (Return ([11:3-11:13],
67 (Some
(([11:10-11:12], int), (Lvar
([11:10-11:12], $x
))))))
69 fnb_unsafe
= false
});
70 f_fun_kind
= FSync
; f_user_attributes
= []; f_ret_by_ref
= false
})