checkmate (version 1.7.0)

reexported_qassert: Re-export of qassert

Usage

reexported_qassert(x, rule, var.name = "x")

Arguments

x

See link[checkmate]{qassert}.

rule

See link[checkmate]{qassert}.