2022-07-09 16:55:48 +08:00
|
|
|
[
|
2022-12-08 19:40:41 +01:00
|
|
|
(fun_decl)
|
|
|
|
|
(anonymous_fun)
|
|
|
|
|
(case_expr)
|
2023-05-06 16:39:30 +08:00
|
|
|
(maybe_expr)
|
2022-12-08 19:40:41 +01:00
|
|
|
(map_expr)
|
|
|
|
|
(export_attribute)
|
|
|
|
|
(export_type_attribute)
|
2022-07-09 16:55:48 +08:00
|
|
|
] @fold
|
