import { type TypeEnvironment, type ValueType } from "./model.ts";
/**
 * The text-conversion whitelist (charter section 14): values whose text form is
 * total and hook-free. This is the single authority behind both the direct
 * `str(value)` / f-string check and the assignability of the `textConvertible`
 * parameter domain, so `str` used as a value cannot admit anything a direct
 * call rejects.
 */
export declare function isTextConvertibleType(type: ValueType, environment: TypeEnvironment): boolean;
export declare function isAssignable(actual: ValueType, expected: ValueType, environment: TypeEnvironment, seen?: Set<string>): boolean;
//# sourceMappingURL=assignability.d.ts.map