1 2 3 4 5 6 7 8 9 10 11 12 13 14
default Order dec $include <prelude.sail> val "eq_anything" : forall ('a : Type). ('a, 'a) -> bool overload operator == = {eq_anything} enum E = A | B | C | D | F function prop() -> bool = { let x: E = undefined; x == A }