arrow-analysis-types/arrow.analysis/pre

pre

inline fun pre(predicate: Boolean, msg: Messager)
Content copied to clipboard