phinterval-accessors function

Accessors for the endpoints of a phinterval