num::verify¶

Defined in header <operator/properties.hpp>

template <class L, class T>
void verify(const T &A, call_site site = {});

Sample law L on A, and every law it implies.

The shape is always checked. The probes run under the active diagnostic level; each rejects a violation, and none can prove the law holds.

Exceptions¶