src/CoqUp/Helper.v


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.