File: tupleError.ur

package info (click to toggle)

urweb 20170105%2Bdfsg-2

file content (3 lines) | stat: -rw-r--r-- 137 bytes

1
2
3

fun f (x : int * float) : string = x
fun g (x : int * float * bool) : string = x
fun h (x : {A : int, B : float, C : bool}) : string = x