export declare const stmt: {
    $grammar: {
        "stmt:check": (string | {
            exp: string;
            t?: undefined;
        } | {
            t: string;
            exp?: undefined;
        })[];
        "stmt:let": (string | {
            name: string;
            exp?: undefined;
        } | {
            exp: string;
            name?: undefined;
        })[];
        "stmt:let_the": (string | {
            name: string;
            t?: undefined;
            exp?: undefined;
        } | {
            t: string;
            name?: undefined;
            exp?: undefined;
        } | {
            exp: string;
            name?: undefined;
            t?: undefined;
        })[];
        "stmt:let_function": (string | {
            name: string;
            bindings?: undefined;
            sequence?: undefined;
        } | {
            bindings: string;
            name?: undefined;
            sequence?: undefined;
        } | {
            sequence: string;
            name?: undefined;
            bindings?: undefined;
        })[];
        "stmt:let_function_with_ret_type": (string | {
            name: string;
            bindings?: undefined;
            ret_t?: undefined;
            sequence?: undefined;
        } | {
            bindings: string;
            name?: undefined;
            ret_t?: undefined;
            sequence?: undefined;
        } | {
            ret_t: string;
            name?: undefined;
            bindings?: undefined;
            sequence?: undefined;
        } | {
            sequence: string;
            name?: undefined;
            bindings?: undefined;
            ret_t?: undefined;
        })[];
        "stmt:compute": (string | {
            exp: string;
        })[];
        "stmt:clazz": (string | {
            name: string;
            bindings?: undefined;
        } | {
            bindings: {
                $ap: string[];
            };
            name?: undefined;
        })[];
        "stmt:class_extends": (string | {
            name: string;
            parent?: undefined;
            bindings?: undefined;
        } | {
            parent: string;
            name?: undefined;
            bindings?: undefined;
        } | {
            bindings: {
                $ap: string[];
            };
            name?: undefined;
            parent?: undefined;
        })[];
        "stmt:include": (string | {
            types: {
                $ap: string[];
            };
            last_type?: undefined;
            $ap?: undefined;
        } | {
            last_type: string;
            types?: undefined;
            $ap?: undefined;
        } | {
            $ap: string[];
            types?: undefined;
            last_type?: undefined;
        })[];
        "stmt:solve": (string | {
            bindings: string;
            equations?: undefined;
        } | {
            equations: {
                $ap: string[];
            };
            bindings?: undefined;
        })[];
        "stmt:solve_empty_bindings": (string | {
            equations: {
                $ap: string[];
            };
        })[];
        "stmt:import": (string | {
            bindings: {
                $ap: string[];
            };
            path?: undefined;
        } | {
            path: {
                $pattern: string[];
            };
            bindings?: undefined;
        })[];
    };
};
export declare const stmts: {
    $grammar: {
        "stmts:stmts": {
            stmts: {
                $ap: string[];
            };
        }[];
    };
};
//# sourceMappingURL=stmt.d.ts.map