import { Value } from "../value";
import { Ctx } from "../ctx";
export declare function conversion(ctx: Ctx, t: Value, x: Value, y: Value): boolean;
export declare function check_conversion(ctx: Ctx, t: Value, from: Value, to: Value, opts: {
    description?: {
        from: string;
        to: string;
    };
}): void;