/**
 * Written type syntax to a `ValueType`, and back to the text a reader wrote.
 *
 * `typeFromSyntax` is the one door from the parser's `TypeSyntax` into the type
 * model; an extension resolver gets first refusal on a name Core does not own.
 * `formatTypeSyntax` is its inverse for diagnostics: it renders the syntax as
 * authored, which is not `describeType` — that one describes a resolved type.
 */
import type { TypeReference, TypeSyntax } from "../ast.ts";
import { type ValueType } from "./model.ts";
export type ExtensionTypeSyntaxResolver = (syntax: TypeSyntax, resolve: (syntax: TypeSyntax) => ValueType) => ValueType | undefined;
export declare function resolveTypeReference(reference: TypeReference, extension?: ExtensionTypeSyntaxResolver): ValueType;
export declare function typeFromSyntax(syntax: TypeSyntax, extension?: ExtensionTypeSyntaxResolver): ValueType;
export declare function formatTypeReference(reference: TypeReference): string;
export declare function formatTypeSyntax(syntax: TypeSyntax): string;
//# sourceMappingURL=from-syntax.d.ts.map