Skip to content

Monadic bind for `option` is non-expansive.

Dan Frumin requested to merge dfrumin/iris-coq:option_mbind_ne into master

Just one instnace.

Merge request reports