// ets_tracing: off

import type { Lazy } from "../../Function/index.js"
import type * as O from "../../Option/index.js"
import type * as AM from "../AssertionM/AssertionM.js"
import type * as AR from "../AssertionResult/index.js"

/**
 * An `AssertionValue` keeps track of a assertion and a value, existentially
 * hiding the type. This is used internally by the library to provide useful
 * error messages in the event of test failures.
 */
export interface AssertionValue {
  value: Lazy<any>
  expression: O.Option<string>
  sourceLocation: O.Option<string>
  assertion: AM.AssertionM<any>
  result: Lazy<AR.AssertResult>
}