DEBSOURCES
Skip Quicknav
sources / sail-ocaml / 0.19.1%2Bdfsg5-1 / test / typecheck / fail / tuple_lexp2.sail
1234567891011
default Order dec $include <prelude.sail> val main : unit -> unit function main() = { var x : int = 0; var y : int = 1; (x, y) = 2 }