Method recordH

src/main/java/org/sfj/DrawDot.java:480–483

(String... labels)

    }

    Node recordH(String... labels) {
      shaped(Shapes.RECORD);
      return label(String.join(" | ", labels));
    }

    @Override
    public String id() {