export declare const zero_or_more: {
    $fn: (string | {
        $grammar: {
            "zero_or_more:zero": never[];
            "zero_or_more:more": ({
                head: string;
                tail?: undefined;
            } | {
                tail: {
                    $ap: string[];
                };
                head?: undefined;
            })[];
        };
    })[];
};
export declare const one_or_more: {
    $fn: (string | {
        $grammar: {
            "one_or_more:one": {
                value: string;
            }[];
            "one_or_more:more": ({
                head: string;
                tail?: undefined;
            } | {
                tail: {
                    $ap: string[];
                };
                head?: undefined;
            })[];
        };
    })[];
};
export declare const optional: {
    $fn: (string | {
        $grammar: {
            "optional:zero": never[];
            "optional:one": {
                head: string;
            }[];
        };
    })[];
};
export * from "./arg.js";
export * from "./clazz_binding.js";
export * from "./equation.js";
export * from "./equivalent_entry.js";
export * from "./exp.js";
export * from "./fn_binding.js";
export * from "./import_binding.js";
export * from "./key.js";
export * from "./name.js";
export * from "./pi_binding.js";
export * from "./property.js";
export * from "./sequence.js";
export * from "./sigma_binding.js";
export * from "./solve_binding.js";
export * from "./stmt.js";
//# sourceMappingURL=index.d.ts.map