Gives the maximum depth
Gives the depth of any node in the diagram or -1 if the node is not in the diagram
(depthInfo: StringAdd).self
(depthInfo: StringFormat).self
(depthInfo: ArrowAssoc[DepthInfo]).x
(Since version 2.10.0) Use leftOfArrow
instead
(depthInfo: Ensuring[DepthInfo]).x
(Since version 2.10.0) Use resultOfEnsuring
instead