checkmate (version 1.7.3)

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}.