import type { Program, TypeInfo } from '@getlang/ast';
type InferenceOptions = {
    returnTypes: {
        [module: string]: TypeInfo;
    };
    contextType?: TypeInfo;
};
export declare function inference(ast: Program, options: InferenceOptions): {
    program: Program;
    returnType: TypeInfo;
};
export {};