.InvariantsCorecheck
function defined in module
InvariantsCore
check(invariant, input)
Check an invariant against an input, and return a [
CheckResult
] that gives detailed output in case of an invariant violation.
check(Bool, invariant, input)
Check an invariant against an input, returning
true
if satisfied,
false
if violated.
There are
2
methods for check:
check(::Type{Bool}, invariant, input)check(invariant, input)The following pages link back here: