import { SERIALIZATION_FORMAT } from './format';
import * as LogicAST from './ast/logicAst';
import * as MDXAST from './ast/documentAst';
export declare function extractProgramFromAST(ast: {
    children: MDXAST.Content[];
}): LogicAST.TopLevelDeclarations;
export declare function extractProgram(contents: string, options?: {
    sourceFormat?: SERIALIZATION_FORMAT;
}): string;