import { CrochetCapability } from "..";
import * as IR from "../../ir";
import { Action, ActionChoice, CrochetModule, CrochetThunk, CrochetTrait, CrochetType, CrochetValue, Environment, equals, Tag, Universe } from "../intrinsics";
export declare function get_nothing(universe: Universe): CrochetValue<Tag>;
export declare function get_false(universe: Universe): CrochetValue<Tag>;
export declare function get_true(universe: Universe): CrochetValue<Tag>;
export declare function make_integer(universe: Universe, x: bigint): CrochetValue<Tag>;
export declare function make_float(universe: Universe, x: number): CrochetValue<Tag>;
export declare function make_dynamic_text(universe: Universe, x: string): CrochetValue<Tag.TEXT>;
export declare function make_untrusted_text(universe: Universe, x: string): CrochetValue<Tag.TEXT>;
export declare function make_static_text(universe: Universe, x: string): CrochetValue<Tag.TEXT>;
export declare function make_list(universe: Universe, xs: CrochetValue[]): CrochetValue<Tag.LIST>;
export declare function make_interpolation(universe: Universe, xs: (string | CrochetValue)[]): CrochetValue<Tag.INTERPOLATION>;
export declare function make_thunk(universe: Universe, env: Environment, block: IR.BasicBlock): CrochetValue<Tag.THUNK>;
export declare function make_lambda(universe: Universe, env: Environment, parameters: string[], body: IR.BasicBlock): CrochetValue<Tag.LAMBDA>;
export declare function make_partial(universe: Universe, module: CrochetModule, name: string, arity: number): CrochetValue<Tag.PARTIAL>;
export declare function make_record(universe: Universe, keys: string[], values: CrochetValue[]): CrochetValue<Tag.RECORD>;
export declare function make_record_from_map(universe: Universe, value: Map<string, CrochetValue>): CrochetValue<Tag.RECORD>;
export declare function make_action(action: Action, env: Environment): CrochetValue<Tag.ACTION>;
export declare function get_action(value: CrochetValue): import("..").BoundAction;
export declare function make_action_choice(universe: Universe, choice: ActionChoice): CrochetValue<Tag.ACTION_CHOICE>;
export declare function get_action_choice(value: CrochetValue): ActionChoice;
export declare function record_at_put(universe: Universe, record: CrochetValue, key: string, value: CrochetValue): CrochetValue<Tag.RECORD>;
export declare function has_type(type: CrochetType, value: CrochetValue): boolean;
export declare function has_trait(trait: CrochetTrait, value: CrochetValue): boolean;
export declare function instantiate(type: CrochetType, values: CrochetValue[]): CrochetValue<Tag.INSTANCE>;
export declare function make_static_type(universe: Universe, type: CrochetType): CrochetValue<Tag>;
export declare function tag_to_name(x: Tag): string;
export declare function assert_tag<T extends Tag>(tag: T, value: CrochetValue): asserts value is CrochetValue<T>;
export declare function get_thunk(x: CrochetValue): CrochetThunk;
export declare function get_boolean(x: CrochetValue): boolean;
export declare function make_boolean(universe: Universe, x: boolean): CrochetValue<Tag>;
export declare function get_array(x: CrochetValue): CrochetValue<Tag>[];
export declare function get_interpolation_parts(x: CrochetValue): (string | CrochetValue)[];
export declare function register_instance(universe: Universe, value: CrochetValue): void;
export declare function text_to_string(x: CrochetValue): string;
export declare function project(value: CrochetValue, key: string, assert_capability: (value: CrochetValue) => void): CrochetValue;
export declare function make_cell(universe: Universe, value: CrochetValue): CrochetValue<Tag.CELL>;
export declare function deref_cell(cell: CrochetValue): CrochetValue<Tag>;
export declare function update_cell(cell: CrochetValue, old_value: CrochetValue, value: CrochetValue): boolean;
export declare function get_map(x: CrochetValue): Map<string, CrochetValue<Tag>>;
export declare function normalise_interpolation(universe: Universe, x: CrochetValue): CrochetValue<Tag.INTERPOLATION>;
export declare function is_thunk_forced(x: CrochetValue): boolean;
export declare function update_thunk(x: CrochetThunk, value: CrochetValue): void;
export declare function is_boxed(x: CrochetValue): boolean;
export declare function box(universe: Universe, x: unknown): CrochetValue<any>;
export declare function unbox(x: CrochetValue): unknown;
export declare function to_plain_object(x: CrochetValue): unknown;
export declare function from_plain_object(universe: Universe, x: unknown, trusted: boolean): CrochetValue;
export declare function float_to_number(x: CrochetValue): number;
export declare function to_number(x: CrochetValue): number;
export declare function is_nothing(x: CrochetValue): boolean;
export declare function protect(universe: Universe, x: CrochetValue, capability: CrochetCapability): CrochetValue<Tag.PROTECTED>;
export { equals };