///|
using @basic {type Location}