export declare const operator: {
    $grammar: {
        "operator:var": {
            name: string;
        }[];
        "operator:ap": ({
            target: string;
            args?: undefined;
        } | {
            args: {
                $ap: string[];
            };
            target?: undefined;
        })[];
        "operator:fn": (string | {
            names: string;
            ret?: undefined;
        } | {
            ret: string;
            names?: undefined;
        })[];
        "operator:car": (string | {
            target: string;
        })[];
        "operator:cdr": (string | {
            target: string;
        })[];
        "operator:dot_field": (string | {
            target: string;
            name?: undefined;
        } | {
            name: string;
            target?: undefined;
        })[];
        "operator:dot_method": (string | {
            target: string;
            name?: undefined;
            args?: undefined;
        } | {
            name: string;
            target?: undefined;
            args?: undefined;
        } | {
            args: {
                $ap: string[];
            };
            target?: undefined;
            name?: undefined;
        })[];
        "operator:nat_ind": (string | {
            target: string;
            motive?: undefined;
            base?: undefined;
            step?: undefined;
        } | {
            motive: string;
            target?: undefined;
            base?: undefined;
            step?: undefined;
        } | {
            base: string;
            target?: undefined;
            motive?: undefined;
            step?: undefined;
        } | {
            step: string;
            target?: undefined;
            motive?: undefined;
            base?: undefined;
        })[];
        "operator:nat_rec": (string | {
            target: string;
            base?: undefined;
            step?: undefined;
        } | {
            base: string;
            target?: undefined;
            step?: undefined;
        } | {
            step: string;
            target?: undefined;
            base?: undefined;
        })[];
        "operator:list_ind": (string | {
            target: string;
            motive?: undefined;
            base?: undefined;
            step?: undefined;
        } | {
            motive: string;
            target?: undefined;
            base?: undefined;
            step?: undefined;
        } | {
            base: string;
            target?: undefined;
            motive?: undefined;
            step?: undefined;
        } | {
            step: string;
            target?: undefined;
            motive?: undefined;
            base?: undefined;
        })[];
        "operator:list_rec": (string | {
            target: string;
            base?: undefined;
            step?: undefined;
        } | {
            base: string;
            target?: undefined;
            step?: undefined;
        } | {
            step: string;
            target?: undefined;
            base?: undefined;
        })[];
        "operator:vector_head": (string | {
            target: string;
        })[];
        "operator:vector_tail": (string | {
            target: string;
        })[];
        "operator:vector_ind": (string | {
            length: string;
            target?: undefined;
            motive?: undefined;
            base?: undefined;
            step?: undefined;
        } | {
            target: string;
            length?: undefined;
            motive?: undefined;
            base?: undefined;
            step?: undefined;
        } | {
            motive: string;
            length?: undefined;
            target?: undefined;
            base?: undefined;
            step?: undefined;
        } | {
            base: string;
            length?: undefined;
            target?: undefined;
            motive?: undefined;
            step?: undefined;
        } | {
            step: string;
            length?: undefined;
            target?: undefined;
            motive?: undefined;
            base?: undefined;
        })[];
        "operator:replace": (string | {
            target: string;
            motive?: undefined;
            base?: undefined;
        } | {
            motive: string;
            target?: undefined;
            base?: undefined;
        } | {
            base: string;
            target?: undefined;
            motive?: undefined;
        })[];
        "operator:absurd_ind": (string | {
            target: string;
            motive?: undefined;
        } | {
            motive: string;
            target?: undefined;
        })[];
        "operator:either_ind": (string | {
            target: string;
            motive?: undefined;
            base_left?: undefined;
            base_right?: undefined;
        } | {
            motive: string;
            target?: undefined;
            base_left?: undefined;
            base_right?: undefined;
        } | {
            base_left: string;
            target?: undefined;
            motive?: undefined;
            base_right?: undefined;
        } | {
            base_right: string;
            target?: undefined;
            motive?: undefined;
            base_left?: undefined;
        })[];
        "operator:the": (string | {
            t: string;
            exp?: undefined;
        } | {
            exp: string;
            t?: undefined;
        })[];
        "operator:is": (string | {
            exp: string;
            t?: undefined;
        } | {
            t: string;
            exp?: undefined;
        })[];
        "operator:elab": (string | {
            exp: string;
        })[];
        "operator:elaborate": (string | {
            exp: string;
        })[];
    };
};
export declare const operand: {
    $grammar: {
        "operand:pi": (string | {
            bindings: string;
            ret_t?: undefined;
        } | {
            ret_t: string;
            bindings?: undefined;
        })[];
        "operand:fn": (string | {
            names: string;
            ret?: undefined;
        } | {
            ret: string;
            names?: undefined;
        })[];
        "operand:sigma": (string | {
            bindings: string;
            cdr_t?: undefined;
        } | {
            cdr_t: string;
            bindings?: undefined;
        })[];
        "operand:cons": (string | {
            car: string;
            cdr?: undefined;
        } | {
            cdr: string;
            car?: undefined;
        })[];
        "operand:cls": (string | {
            entries: {
                $ap: string[];
            };
        })[];
        "operand:ext": (string | {
            parent: string;
            entries?: undefined;
        } | {
            entries: {
                $ap: string[];
            };
            parent?: undefined;
        })[];
        "operand:obj": (string | {
            properties: {
                $ap: string[];
            };
        })[];
        "operand:nat": string[];
        "operand:zero": string[];
        "operand:add1": (string | {
            prev: string;
        })[];
        "operand:number": {
            value: {
                $pattern: string[];
            };
        }[];
        "operand:list": (string | {
            elem_t: string;
        })[];
        "operand:nil": string[];
        "operand:nil_sugar": string[];
        "operand:li": (string | {
            head: string;
            tail?: undefined;
        } | {
            tail: string;
            head?: undefined;
        })[];
        "operand:li_sugar": (string | {
            exps: string;
        })[];
        "operand:vector": (string | {
            elem_t: string;
            length?: undefined;
        } | {
            length: string;
            elem_t?: undefined;
        })[];
        "operand:vecnil": string[];
        "operand:vec": (string | {
            head: string;
            tail?: undefined;
        } | {
            tail: string;
            head?: undefined;
        })[];
        "operand:vec_sugar": (string | {
            exps: string;
        })[];
        "operand:equal": (string | {
            t: string;
            from?: undefined;
            to?: undefined;
        } | {
            from: string;
            t?: undefined;
            to?: undefined;
        } | {
            to: string;
            t?: undefined;
            from?: undefined;
        })[];
        "operand:refl": string[];
        "operand:same": (string | {
            exp: string;
        })[];
        "operand:the_same": (string | {
            t: string;
            exp?: undefined;
        } | {
            exp: string;
            t?: undefined;
        })[];
        "operand:same_as_chart": (string | {
            t: string;
            exps?: undefined;
        } | {
            exps: string;
            t?: undefined;
        })[];
        "operand:trivial": string[];
        "operand:sole": string[];
        "operand:absurd": string[];
        "operand:str": string[];
        "operand:quote": {
            value: {
                $pattern: string[];
            };
        }[];
        "operand:todo": (string | {
            value: {
                $pattern: string[];
            };
        })[];
        "operand:either": (string | {
            left_t: string;
            right_t?: undefined;
        } | {
            right_t: string;
            left_t?: undefined;
        })[];
        "operand:inl": (string | {
            left: string;
        })[];
        "operand:inr": (string | {
            right: string;
        })[];
        "operand:type": string[];
    };
};
export declare const declaration: {
    $grammar: {
        "declaration:let": (string | {
            name: string;
            exp?: undefined;
            ret?: undefined;
        } | {
            exp: string;
            name?: undefined;
            ret?: undefined;
        } | {
            ret: string;
            name?: undefined;
            exp?: undefined;
        })[];
        "declaration:let_the": (string | {
            name: string;
            t?: undefined;
            exp?: undefined;
            ret?: undefined;
        } | {
            t: string;
            name?: undefined;
            exp?: undefined;
            ret?: undefined;
        } | {
            exp: string;
            name?: undefined;
            t?: undefined;
            ret?: undefined;
        } | {
            ret: string;
            name?: undefined;
            t?: undefined;
            exp?: undefined;
        })[];
        "declaration:let_the_flower_bracket": (string | {
            name: string;
            t?: undefined;
            exp?: undefined;
            ret?: undefined;
        } | {
            t: string;
            name?: undefined;
            exp?: undefined;
            ret?: undefined;
        } | {
            exp: string;
            name?: undefined;
            t?: undefined;
            ret?: undefined;
        } | {
            ret: string;
            name?: undefined;
            t?: undefined;
            exp?: undefined;
        })[];
        "declaration:let_fn": (string | {
            name: string;
            bindings?: undefined;
            ret_t?: undefined;
            ret?: undefined;
            body?: undefined;
        } | {
            bindings: string;
            name?: undefined;
            ret_t?: undefined;
            ret?: undefined;
            body?: undefined;
        } | {
            ret_t: string;
            name?: undefined;
            bindings?: undefined;
            ret?: undefined;
            body?: undefined;
        } | {
            ret: string;
            name?: undefined;
            bindings?: undefined;
            ret_t?: undefined;
            body?: undefined;
        } | {
            body: string;
            name?: undefined;
            bindings?: undefined;
            ret_t?: undefined;
            ret?: undefined;
        })[];
    };
};
export declare const exp: {
    $grammar: {
        "exp:operator": {
            operator: string;
        }[];
        "exp:operand": {
            operand: string;
        }[];
        "exp:declaration": {
            declaration: string;
        }[];
    };
};
export declare const cls_entry: {
    $grammar: {
        "cls_entry:field_demanded": (string | {
            name: string;
            t?: undefined;
            $ap?: undefined;
        } | {
            t: string;
            name?: undefined;
            $ap?: undefined;
        } | {
            $ap: string[];
            name?: undefined;
            t?: undefined;
        })[];
        "cls_entry:field_fulfilled": (string | {
            name: string;
            t?: undefined;
            exp?: undefined;
            $ap?: undefined;
        } | {
            t: string;
            name?: undefined;
            exp?: undefined;
            $ap?: undefined;
        } | {
            exp: string;
            name?: undefined;
            t?: undefined;
            $ap?: undefined;
        } | {
            $ap: string[];
            name?: undefined;
            t?: undefined;
            exp?: undefined;
        })[];
        "cls_entry:field_fulfilled_flower_bracket": (string | {
            name: string;
            t?: undefined;
            exp?: undefined;
            $ap?: undefined;
        } | {
            t: string;
            name?: undefined;
            exp?: undefined;
            $ap?: undefined;
        } | {
            exp: string;
            name?: undefined;
            t?: undefined;
            $ap?: undefined;
        } | {
            $ap: string[];
            name?: undefined;
            t?: undefined;
            exp?: undefined;
        })[];
        "cls_entry:method_demanded": (string | {
            name: string;
            bindings?: undefined;
            ret_t?: undefined;
            $ap?: undefined;
        } | {
            bindings: string;
            name?: undefined;
            ret_t?: undefined;
            $ap?: undefined;
        } | {
            ret_t: string;
            name?: undefined;
            bindings?: undefined;
            $ap?: undefined;
        } | {
            $ap: string[];
            name?: undefined;
            bindings?: undefined;
            ret_t?: undefined;
        })[];
        "cls_entry:method_fulfilled": (string | {
            name: string;
            bindings?: undefined;
            ret_t?: undefined;
            ret?: undefined;
            $ap?: undefined;
        } | {
            bindings: string;
            name?: undefined;
            ret_t?: undefined;
            ret?: undefined;
            $ap?: undefined;
        } | {
            ret_t: string;
            name?: undefined;
            bindings?: undefined;
            ret?: undefined;
            $ap?: undefined;
        } | {
            ret: string;
            name?: undefined;
            bindings?: undefined;
            ret_t?: undefined;
            $ap?: undefined;
        } | {
            $ap: string[];
            name?: undefined;
            bindings?: undefined;
            ret_t?: undefined;
            ret?: undefined;
        })[];
    };
};
export declare const bindings: {
    $grammar: {
        "bindings:bindings": ({
            entries: {
                $ap: string[];
            };
            last_entry?: undefined;
            $ap?: undefined;
        } | {
            last_entry: string;
            entries?: undefined;
            $ap?: undefined;
        } | {
            $ap: string[];
            entries?: undefined;
            last_entry?: undefined;
        })[];
    };
};
export declare const binding: {
    $grammar: {
        "binding:nameless": {
            exp: string;
        }[];
        "binding:named": (string | {
            name: string;
            exp?: undefined;
        } | {
            exp: string;
            name?: undefined;
        })[];
        "binding:implicit": (string | {
            entries: {
                $ap: string[];
            };
            last_entry?: undefined;
        } | {
            last_entry: string;
            entries?: undefined;
        })[];
    };
};
export declare const binding_implicit_entry: {
    $grammar: {
        "binding_implicit_entry:binding_implicit_entry": (string | {
            name: string;
            exp?: undefined;
            $ap?: undefined;
        } | {
            exp: string;
            name?: undefined;
            $ap?: undefined;
        } | {
            $ap: string[];
            name?: undefined;
            exp?: undefined;
        })[];
    };
};
export declare const names: {
    $grammar: {
        "names:names": ({
            entries: {
                $ap: string[];
            };
            last_entry?: undefined;
            $ap?: undefined;
        } | {
            last_entry: string;
            entries?: undefined;
            $ap?: undefined;
        } | {
            $ap: string[];
            entries?: undefined;
            last_entry?: undefined;
        })[];
    };
};
export declare const name_entry: {
    $grammar: {
        "name_entry:name_entry": {
            name: string;
        }[];
        "name_entry:implicit_name_entry": (string | {
            names: {
                $ap: string[];
            };
            last_name?: undefined;
        } | {
            last_name: string;
            names?: undefined;
        })[];
    };
};
export declare const name_implicit_entry: {
    $grammar: {
        "name_implicit_entry:name_implicit_entry": ({
            name: string;
            $ap?: undefined;
        } | {
            $ap: string[];
            name?: undefined;
        })[];
    };
};
export declare const exps: {
    $grammar: {
        "exps:exps": ({
            entries: {
                $ap: string[];
            };
            last_entry?: undefined;
            $ap?: undefined;
        } | {
            last_entry: string;
            entries?: undefined;
            $ap?: undefined;
        } | {
            $ap: string[];
            entries?: undefined;
            last_entry?: undefined;
        })[];
    };
};
export declare const args: {
    $grammar: {
        "args:args": ({
            entries: {
                $ap: string[];
            };
            last_entry?: undefined;
            $ap?: undefined;
        } | {
            last_entry: string;
            entries?: undefined;
            $ap?: undefined;
        } | {
            $ap: string[];
            entries?: undefined;
            last_entry?: undefined;
        })[];
    };
};
export declare const arg_implicit_entry: {
    $grammar: {
        "arg_implicit_entry:arg_implicit_entry": (string | {
            name: string;
            exp?: undefined;
            $ap?: undefined;
        } | {
            exp: string;
            name?: undefined;
            $ap?: undefined;
        } | {
            $ap: string[];
            name?: undefined;
            exp?: undefined;
        })[];
    };
};
export declare const property: {
    $grammar: {
        "property:field_shorthand": ({
            name: string;
            $ap?: undefined;
        } | {
            $ap: string[];
            name?: undefined;
        })[];
        "property:field": (string | {
            name: string;
            exp?: undefined;
            $ap?: undefined;
        } | {
            exp: string;
            name?: undefined;
            $ap?: undefined;
        } | {
            $ap: string[];
            name?: undefined;
            exp?: undefined;
        })[];
        "property:method": (string | {
            name: string;
            bindings?: undefined;
            ret_t?: undefined;
            $ap?: undefined;
        } | {
            bindings: string;
            name?: undefined;
            ret_t?: undefined;
            $ap?: undefined;
        } | {
            ret_t: string;
            name?: undefined;
            bindings?: undefined;
            $ap?: undefined;
        } | {
            $ap: string[];
            name?: undefined;
            bindings?: undefined;
            ret_t?: undefined;
        })[];
        "property:spread": (string | {
            exp: string;
            $ap?: undefined;
        } | {
            $ap: string[];
            exp?: undefined;
        })[];
    };
};