This companion object of class Pos provides alternative methods for creating new Pos objects. It has an alias in the top-level package o1, so it’s accessible to students simply via import o1._.
Pos
import o1._
The names of the product elements
The name of the type
Constructs a Pos instance from the given pair of x and y coordinates.
Constructs a Pos instance from the coordinates of the given Point object.
Point
