named multiple return values

[Hongbo]

func divmod(x, y : int) (| res : int, rem : int|) {
   ...
}  

let (| res, rem  |) = divmod(x,y)