Property:^code

has type::code