1 2 3 4 5 6 7 8 9 10
Module OptionHelpers. Definition opt_default {T : Type} (x : T) (u : option T) : T := match u with | Some y => y | None => x end. End OptionHelpers. Export OptionHelpers.