DEBSOURCES
Skip Quicknav
sources / sail-ocaml / 0.19.1%2Bdfsg5-1 / test / typecheck / pass / single_enum.sail
12345678910
enum foo = { BAR } val f : foo -> int function f BAR = 1 val g : foo -> int function g x = match x { BAR => 1 } val h : int -> foo function h _ = BAR