compilation_unit { package_statement { package_name: "ExplorerTest" } is_api: true declarations { class_declaration { name { name: "C" } members { function { name { name: "Foo" } self_pattern { binding_pattern { name: "self" type { expression_pattern { expression { identifier { name: "Self" } } } } } } param_pattern { } return_term { kind: Expression type { int_type_literal { } } } body { statements { return_expression_statement { expression { int_literal { value: 1 } } } } } } } } } declarations { class_declaration { name { name: "D" } members { function { name { name: "Foo" } self_pattern { binding_pattern { name: "self" type { expression_pattern { expression { identifier { name: "Self" } } } } } } param_pattern { } return_term { kind: Expression type { int_type_literal { } } } body { statements { return_expression_statement { expression { int_literal { value: 1 } } } } } } } } } declarations { function { name { name: "Main" } param_pattern { } return_term { kind: Expression type { int_type_literal { } } } body { statements { variable_definition { pattern { binding_pattern { name: "c" type { expression_pattern { expression { identifier { name: "C" } } } } } } init { struct_literal { } } is_returned: false } } statements { return_expression_statement { expression { int_literal { value: 0 } } } } } } } }