3 { Namespace_env.ns_ns_uses
= <opaque
>; ns_class_uses
= <opaque
>;
4 ns_fun_uses
= <opaque
>; ns_const_uses
= <opaque
>; ns_name
= None;
5 ns_auto_ns_map
= []; ns_is_codegen
= false
; ns_disable_xhp_element_mangling
= false
};
6 fd_file_attributes
= []; fd_mode
= Mstrict
;
8 { f_span
= [3:1-6:2]; f_readonly_this
= None; f_annotation
= ();
9 f_readonly_ret
= None; f_ret
= ((Awaitable
<int>), (Some
([3:32-46], (Happly
(([3:32-41], "\\HH\\Awaitable"), [([3:42-45], (Hprim Tint))])))));
10 f_name
= ([3:16-28], "\\async_return"); f_tparams = []; f_where_constraints = [];
11 f_params
= []; f_ctxs
= None; f_unsafe_ctxs
= None;
12 f_body
= { fb_ast
= [([5:3-14], (Return (Some
((string
), [5:10-13], (Hole
(((string
), [5:10-13], (String
"3")), (string), (int), Typing))))))] };
13 f_fun_kind
= FAsync
; f_user_attributes
= []; f_external
= false
;
14 f_doc_comment
= None };
15 fd_internal
= false
; fd_module
= None })