DEBSOURCES
Skip Quicknav
sources / sail-ocaml / 0.19.1%2Bdfsg5-1 / test / format / set_syntax.sail
123456789
default Order dec $include <prelude.sail> val main : unit -> unit function main() = { let x: {|1, 2, 3|} = 3; }