factory HRef(String val, [String? dis]) { if (!isId(val)) { throw FormatException('Invalid id val: \"$val\"'); } return HRef._(val, dis); }