arrow-analysis-types/arrow.analysis/invariant

invariant

inline fun <A> A.invariant(predicate: Predicate<A>, msg: Messager): A
Content copied to clipboard