import * as pt from "@cicada-lang/partech";
import * as Exps from "../../exp/index.js";
export declare function pi_binding_matcher(tree: pt.Tree): Exps.PiBinding;
export declare function pi_bindings_matcher(tree: pt.Tree): Array<Exps.PiBinding>;
//# sourceMappingURL=pi_binding_matcher.d.ts.map