`.InvariantsCoreCheckResult`

struct defined in module InvariantsCore

Methods

There is 1 method for CheckResult:

InvariantsCore.CheckResult(invariant::I, result::R)

highlevel.jl:141

Backlinks

The following page links back here: