// This is a generated file. Not intended for manual editing.
package com.intellij.dts.lang.psi;


public interface DtsIntExpr extends com.intellij.dts.lang.psi.DtsExpr {

  @org.jetbrains.annotations.NotNull
  com.intellij.dts.lang.psi.DtsInt getInt();

}
