Данная либа написана по мотивам Chessie.
Отличие от Chessie заключается лишь в явном разделении коллекций warning-ов и error-ов. Подобного функционала в готовых пакетах я не нашел, так что скорее всего вам требуется именно Chessie.
API необкатано, и может подвергаться ломающим обратную совместимость изменениям. Так что если вы по каким-то причинам убеждены, что вам необходимо использовать именно ROP, то рекомендую сообщить об этом мне.
github kleidemos/rop ROP/src/ROP/Trial.fs
File: Trial.fs