num::assume

Defined in header <operator/properties.hpp>

template <class L, class T>
with_law<T, L> assume(T A, call_site site = {});

Attach law L to A after sampling it; see verify.