import * as IR from "../ir";
import { Universe, CrochetModule, CrochetPackage } from "./intrinsics";
export declare function make_universe(): Universe;
export declare function load_module(universe: Universe, pkg: CrochetPackage, program: IR.Program): CrochetModule;
export declare function load_declaration(universe: Universe, module: CrochetModule, declaration: IR.Declaration, last_doc: {
    name: string;
    doc: string;
} | null): {
    name: string;
    doc: string;
} | undefined;