import { Env } from "../env";
import { Goal, GoalQueue } from "../goal";
import { Mod } from "../mod";
import { Solution } from "../solution";
/**

   What is a goal?

   It is something that either _succeeds_, _fails_, or _has no value_.

   TODO interpret the above in our context.

**/
export declare function pursue(mod: Mod, env: Env, solution: Solution, goal: Goal): Array<GoalQueue>;