dalexander
07/12/2016, 6:35 PMto
is just a “regular” infix function. a to b
is equivalent to Pair(a, b)
You can always use “go to definition” (command-B on a Mac) to go to the definition if you are curious about what it’s doing. As for why it’s crashing there, if you paste the stack trace I might be able to guess.