compilation_unit { package_statement { package_name: "Foo" } is_api: true declarations { class_declaration { name { name: "X" } } } declarations { function { name { name: "Get" } deduced_parameters { name: "T" type { tuple_literal { } } } param_pattern { fields { binding_pattern { name: "n" type { expression_pattern { expression { identifier { name: "T" } } } } } } } return_term { kind: Expression type { int_type_literal { } } } body { statements { return_expression_statement { expression { int_literal { value: 2 } } } } } } } declarations { function { name { name: "Main" } param_pattern { } return_term { kind: Expression type { int_type_literal { } } } body { statements { variable_definition { pattern { binding_pattern { name: "x" type { expression_pattern { expression { identifier { name: "X" } } } } } } init { struct_literal { } } is_returned: false } } statements { expression_statement { expression { call { function { identifier { name: "Get" } } argument { tuple_literal { fields { identifier { name: "x" } } } } } } } } statements { return_expression_statement { expression { int_literal { value: 0 } } } } } } } }