class AsnValue extends LongExpr {

  @Override
  public String toString() {
    return MoreObjects.toStringHelper(this).add("asExpr", _asExpr).toString();
  }

  private  AsnValue(@Nonnull AsExpr asExpr);

}