package Tutorial;

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

message Double {
    required float value = 1;
}