`.InvariantsCoreInvariant`

struct defined in module InvariantsCore


			struct Invariant(fn, title; kwargs...) <: AbstractInvariant

Default invariant type. Use invariant to construct invariants.

Methods

There are 4 methods for Invariant:

InvariantsCore.Invariant(fn, title::String; description, inputfn, format)

InvariantsCore.Invariant(fn, title::String, description::Union{Nothing, String}, inputfn, format)

InvariantsCore.Invariant(fn, title, description, inputfn, format)

InvariantsCore.Invariant(; fn, title, description, inputfn, format)

sourcefiles/InvariantsCore/julia/1.7.3/x64/share/julia/base/util.jl:478

Backlinks

The following pages link back here: