// ets_tracing: off

import type * as AV from "../AssertionValue/AssertionValue.js"
import type * as BA from "../BoolAlgebra/index.js"

export interface AssertResult extends BA.BoolAlgebra<AV.AssertionValue> {}