isA method

@override bool isA(HTType? other)

Check wether value of this HTType can be assigned to other HTType.

Implementation

@override
bool isA(HTType? other) {
  if (other == null) return true;

  if (other.isTop) return true;

  if (other.isBottom && isBottom) return true;

  if (id == other.id) return true;

  return false;
}