DEBSOURCES
Skip Quicknav
sources / sail-ocaml / 0.19.1%2Bdfsg5-1 / test / pattern_completeness / warn_missing_enum.sail
12345678910
enum E = A | C | D function missing_enum_member(x: E) -> unit = { match x { A => (), B => (), C => (), D => (), } }