Utils.Cata
val cata : ('a -> 'b) -> 'b -> 'a option -> 'b
cata f x y is Rocq.Option.cata. If y is None returns x, else y is Some z returns f z.
cata f x y
y
None
x
Some z
f z