public json_type(string o) { type = object_type.@string; s_value = new json_string(o); }
public json_type(json_string o) { type = object_type.@string; s_value = o; }