A Hasse graph is a Hasse diagram ready for display. It contains labels instead of Weyl group elements and reflections.
The object HasseGraph is a type, with ancestor classes BasicList < Thing.
The source of this document is in WeylGroups.m2:4374:0.