How to export a variable with setget in Godot 4?

I'm trying to export a variable in a script that uses setget, but am not sure what the syntax is in GDScript 4.

@export_file var model_path:String setget _set_model_path

The error I'm getting is
Error at (5, 36): Expected end of statement after variable declaration, found "Identifier" instead

It's documented here:
https://docs.godotengine.org/en/latest/tutorials/scripting/gdscript/gdscript_basics.html#properties-setters-and-getters

I haven't tested it.