coq/bot

Replace result with Result.t

Opened this issue · 0 comments

Alizter commented

It looks like result is being deprecated in favour of Result.t. We should clean those up at some point (mostly in mlis).