package Tutorial;

//import "php_options.proto";
////option (php).base_class = "Base";
//option (php).generate_getter = true;
//option (php).generate_setter = true;

message Double {
    repeated double value = 1 [packed = true];
}