import type * as AV from "../AssertionValue/AssertionValue.js";
import type * as BA from "../BoolAlgebra/index.js";
export interface AssertResult extends BA.BoolAlgebra<AV.AssertionValue> {
}
//# sourceMappingURL=index.d.ts.map