export declare const parseNumberLineUserInput: import("../parser-types").Parser<import("../general-purpose-parsers/object-types").OptionalizeProperties<{
    numLinePosition: number;
    rel: "eq" | "lt" | "gt" | "le" | "ge";
    numDivisions: number;
}>>;