import { EL } from "..";
export declare class ____LawNum extends EL {
    tag: "____LawNum";
    get isControl(): true;
    children: [string];
    constructor(text: string, range?: [start: number, end: number] | null);
}