PolyML.pretty and PolyML.context are eqtypes based on their current constructors. It's possible that they might not be in the future if additional constructors were added to the context.
PolyML.pretty and PolyML.context are eqtypes based on their current constructors.
It's possible that they might not be in the future if additional constructors were added to the context.

dcjm/polyml,polyml/polyml,polyml/polyml,polyml/polyml,dcjm/polyml,dcjm/polyml,dcjm/polyml,polyml/polyml