0000: 46 6c 6f 61 74 20 66 28 46 6c 6f 61 74 2c 66 6c Float f(Float,fl
0010: 6f 61 74 2c 64 6f 75 62 6c 65 29 3a 28 7b 30 2e oat,double):({0.
0020: 31 7d 2c 30 2e 32 2c 30 2e 33 29 2d 3e 7b 30 2e 1},0.2,0.3)->{0.
0030: 36 7d 0a 46 6c 6f 61 74 20 66 28 46 6c 6f 61 74 6}.Float f(Float
0040: 2c 66 6c 6f 61 74 2c 64 6f 75 62 6c 65 29 3a 28 ,float,double):(
0050: 7b 2d 31 2e 36 39 36 37 39 65 2b 32 39 7d 2c 30 {-1.69679e+29},0
0060: 2e 31 2c 30 2e 32 29 2d 3e 7b 2d 31 2e 36 39 36 .1,0.2)->{-1.696
0070: 37 39 65 2b 32 39 7d 0a 44 6f 75 62 6c 65 20 66 79e+29}.Double f
0080: 28 66 6c 6f 61 74 2c 44 6f 75 62 6c 65 2c 64 6f (float,Double,do
0090: 75 62 6c 65 29 3a 28 30 2e 31 2c 7b 30 2e 32 7d uble):(0.1,{0.2}
00a0: 2c 30 2e 33 29 2d 3e 7b 30 2e 36 7d 0a 44 6f 75 ,0.3)->{0.6}.Dou
00b0: 62 6c 65 20 66 28 66 6c 6f 61 74 2c 44 6f 75 62 ble f(float,Doub
00c0: 6c 65 2c 64 6f 75 62 6c 65 29 3a 28 30 2e 31 2c le,double):(0.1,
00d0: 7b 31 2e 35 30 31 34 31 65 2d 31 35 34 7d 2c 30 {1.50141e-154},0
00e0: 2e 32 29 2d 3e 7b 30 2e 33 7d 0a 54 20 66 28 54 .2)->{0.3}.T f(T
00f0: 2c 63 68 61 72 2c 54 29 3a 28 7b 22 74 68 65 22 ,char,T):({"the"
0100: 7d 2c 27 20 27 2c 7b 22 66 6f 78 22 7d 29 2d 3e },' ',{"fox"})->
0110: 7b 22 62 6f 78 22 7d 0a 54 20 66 28 54 2c 63 68 {"box"}.T f(T,ch
0120: 61 72 2c 54 29 3a 28 7b 22 68 65 10 22 7d 2c 27 ar,T):({"he."},'
0130: 20 27 2c 7b 22 6f 78 6f 22 7d 29 2d 3e 7b 22 62 ',{"oxo"})->{"b
0140: 78 6f 22 7d 0a 58 20 66 28 42 2c 63 68 61 72 2c xo"}.X f(B,char,
0150: 64 6f 75 62 6c 65 2c 42 29 3a 28 7b 30 2e 31 2c double,B):({0.1,
0160: 7b 31 2c 32 2c 33 7d 7d 2c 27 7f 27 2c 30 2e 33 {1,2,3}},'',0.3
0170: 2c 7b 30 2e 32 2c 7b 35 2c 34 2c 33 7d 7d 29 2d ,{0.2,{5,4,3}})-
0180: 3e 7b 22 72 65 74 75 72 6e 20 76 61 6c 22 2c 27 >{"return val",'
0190: 7f 27 7d 0a 58 20 66 28 42 2c 63 68 61 72 2c 64 '}.X f(B,char,d
01a0: 6f 75 62 6c 65 2c 42 29 3a 28 7b 2d 32 2e 33 35 ouble,B):({-2.35
01b0: 33 34 34 65 2d 31 38 35 2c 7b 32 2c 33 2c 30 7d 344e-185,{2,3,0}
01c0: 7d 2c 27 09 27 2c 30 2e 33 2c 7b 31 2e 30 36 31 },'.',0.3,{1.061
01d0: 65 2d 33 31 33 2c 7b 33 2c 30 2c 30 7d 7d 29 2d e-313,{3,0,0}})-
01e0: 3e 7b 22 72 65 74 75 72 6e 20 76 61 6c 22 2c 27 >{"return val",'
01f0: 09 27 7d 0a .'}.