import * as tracing_1 from "../../Tracing"
import * as tracing_2 from "../../Tracing"
const fileName_1 = "(@effect-ts/system): _src/Testing/AssertionValue/negate.ts"
import * as AM from "../AssertionM/api"
import * as BA from "../BoolAlgebra"
import { makeAssertionValue } from "./makeAssertionValue"
export function negate(self) {
  return makeAssertionValue(
    AM.not(self.assertion),
    self.value,
    () => BA.not(self.result()),
    self.expression,
    self.sourceLocation
  )
}
//# sourceMappingURL=negate.js.map
