import { CrochetValue } from "../../crochet";
import * as IR from "../../ir";
import { XorShift } from "../../utils/xorshift";
import { CrochetModule, CrochetRelation, Environment, Machine, NativeSignal, State, Universe } from "../intrinsics";
import { Namespace } from "../namespaces";
export declare function search(state: State, env: Environment, module: CrochetModule, random: XorShift, relations: Namespace<CrochetRelation>, predicate: IR.Predicate): Machine<Environment[]>;
export declare function run_search(universe: Universe, mark: Environment, machine: Machine<Environment[]>): Generator<NativeSignal, CrochetValue<import("../intrinsics").Tag.LIST>, CrochetValue<import("../intrinsics").Tag>>;
export declare function run_match_case(universe: Universe, base_env: Environment, bindings: Map<string, CrochetValue>[], block: IR.BasicBlock): Machine<CrochetValue>;