/// <reference types="@mutopad/connex-types" />
export declare function newExplainer(readyDriver: Promise<Connex.Driver>, clauses: Connex.VM.Clause[]): Connex.VM.Explainer;