/**

   # We must separate exp into operator and operand

   Otherwise `(x) => f(x)` will be ambiguous,
   -- maybe `Fn` maybe `Ap`.

**/
export declare const exp: {
    $grammar: {
        "exp:operator": {
            operator: string;
        }[];
        "exp:operand": {
            operand: string;
        }[];
    };
};
export declare const operator: {
    $grammar: {
        "operator:var": {
            name: string;
        }[];
        "operator:ap": ({
            target: string;
            args_group?: undefined;
        } | {
            args_group: {
                $ap: string[];
            };
            target?: undefined;
        })[];
        "operator:dot_field": (string | {
            target: string;
            name?: undefined;
        } | {
            name: string;
            target?: undefined;
        })[];
        "operator:dot_field_quote": (string | {
            target: string;
            data?: undefined;
        } | {
            data: {
                $pattern: string[];
            };
            target?: undefined;
        })[];
        "operator:dot_method": (string | {
            target: string;
            name?: undefined;
            args_group?: undefined;
        } | {
            name: string;
            target?: undefined;
            args_group?: undefined;
        } | {
            args_group: {
                $ap: string[];
            };
            target?: undefined;
            name?: undefined;
        })[];
        "operator:dot_method_quote": (string | {
            target: string;
            data?: undefined;
            args_group?: undefined;
        } | {
            data: {
                $pattern: string[];
            };
            target?: undefined;
            args_group?: undefined;
        } | {
            args_group: {
                $ap: string[];
            };
            target?: undefined;
            data?: undefined;
        })[];
        "operator:sequence": {
            sequence: string;
        }[];
    };
};
export declare const operand: {
    $grammar: {
        "operand:pi": (string | {
            bindings: string;
            ret_t?: undefined;
        } | {
            ret_t: string;
            bindings?: undefined;
        })[];
        "operand:pi_forall": (string | {
            bindings: string;
            ret_t?: undefined;
        } | {
            ret_t: string;
            bindings?: undefined;
        })[];
        "operand:fn": (string | {
            bindings: string;
            ret?: undefined;
        } | {
            ret: string;
            bindings?: undefined;
        })[];
        "operand:fn_function": (string | {
            bindings: string;
            sequence?: undefined;
        } | {
            sequence: string;
            bindings?: undefined;
        })[];
        "operand:fn_function_with_ret_type": (string | {
            bindings: string;
            ret_type?: undefined;
            sequence?: undefined;
        } | {
            ret_type: string;
            bindings?: undefined;
            sequence?: undefined;
        } | {
            sequence: string;
            bindings?: undefined;
            ret_type?: undefined;
        })[];
        "operand:sigma_exists": (string | {
            bindings: string;
            cdr_t?: undefined;
        } | {
            cdr_t: string;
            bindings?: undefined;
        })[];
        "operand:cons": (string | {
            car: string;
            cdr?: undefined;
        } | {
            cdr: string;
            car?: undefined;
        })[];
        "operand:quote": {
            data: {
                $pattern: string[];
            };
        }[];
        "operand:clazz": (string | {
            bindings: {
                $ap: string[];
            };
        })[];
        "operand:objekt": (string | {
            properties: {
                $ap: string[];
            };
            last_property?: undefined;
            $ap?: undefined;
        } | {
            last_property: string;
            properties?: undefined;
            $ap?: undefined;
        } | {
            $ap: string[];
            properties?: undefined;
            last_property?: undefined;
        })[];
        "operand:new": (string | {
            name: string;
            properties?: undefined;
            last_property?: undefined;
            $ap?: undefined;
        } | {
            properties: {
                $ap: string[];
            };
            name?: undefined;
            last_property?: undefined;
            $ap?: undefined;
        } | {
            last_property: string;
            name?: undefined;
            properties?: undefined;
            $ap?: undefined;
        } | {
            $ap: string[];
            name?: undefined;
            properties?: undefined;
            last_property?: undefined;
        })[];
        "operand:new_ap": (string | {
            name: string;
            args?: undefined;
        } | {
            args: string;
            name?: undefined;
        })[];
        "operand:equivalent": (string | {
            type: string;
            from?: undefined;
            rest?: undefined;
        } | {
            from: string;
            type?: undefined;
            rest?: undefined;
        } | {
            rest: {
                $ap: string[];
            };
            type?: undefined;
            from?: undefined;
        })[];
    };
};
//# sourceMappingURL=exp.d.ts.map