/** @type {import('../core.js').Syntax} */
declare function coq(Prism: any): void;
declare namespace coq {
    let displayName: string;
    let aliases: any[];
}
export default coq;