class Intervalimport { Interval } from "https://dotland.deno.dev/x/ohm_js@v17.1.0/src/Interval.js"; ConstructorsnewInterval(sourceString,startIdx,endIdx,)PropertiesreadonlycontentsreadonlylengthMethodscollapsedLeft()collapsedRight()coverageWith(...intervals)getLineAndColumn()getLineAndColumnMessage()minus(that)relativeTo(that)subInterval(offset, len)trimmed()