import pt from "@cicada-lang/partech";
import * as Exps from "../../exp";
export declare function goal_matcher(tree: pt.Tree): Exps.Goal;
export declare function goals_matcher(tree: pt.Tree): Array<Exps.Goal>;