mini-ml.elf,161 exp 4,90 z 6,117 s 7,130 case 8,150 pair 9,193 fst 10,220 snd 11,240 lam 12,260 app 13,289 letv 14,316 letn 15,352 fix 16,388 tp.elf,56 tp 4,84 nat 6,110 cross 7,124 arrow 8,150 eval.elf,213 eval 4,95 ev_z 7,155 ev_s 8,178 ev_case_z 10,228 ev_case_s 13,305 ev_pair 18,403 ev_fst 21,485 ev_snd 23,541 ev_lam 27,610 ev_app 28,642 ev_letv 34,756 ev_letn 37,831 ev_fix 41,899 value.elf,90 value 4,90 val_z 6,129 val_s 7,152 val_pair 8,190 val_lam 9,248 val-sound.elf,206 vs 4,94 vs_z 7,147 vs_s 8,178 vs_case_z 10,233 vs_case_s 12,288 vs_pair 16,352 vs_fst 19,433 vs_snd 21,493 vs_lam 25,566 vs_app 26,599 vs_letv 30,665 vs_letn 32,714 vs_fix 36,773 staging.elf,64 find 6,147 find_all 7,182 tfm 15,436 tfm_all 16,481 closed.elf,527 closed 4,60 clo_z 7,117 clo_s 8,139 clo_case 10,183 clo_pair 16,311 clo_fst 19,383 clo_snd 21,429 clo_lam 25,488 clo_app 27,558 clo_letv 32,641 clo_letn 35,739 clo_fix 40,850 open 46,1011 open_s 49,1064 open_case1 50,1099 open_case2 51,1145 open_case3 52,1191 open_pair1 55,1260 open_pair2 56,1303 open_fst 57,1346 open_snd 58,1383 open_lam 61,1433 open_app1 62,1483 open_app2 63,1524 open_letv1 66,1580 open_letv2 67,1623 open_letn1 68,1680 open_letn2 69,1723 open_fix 72,1793 tpinf.elf,184 of 5,164 tp_z 8,219 tp_s 9,240 tp_case 11,282 tp_pair 17,400 tp_fst 20,473 tp_snd 22,524 tp_lam 26,588 tp_app 28,662 tp_letv 33,746 tp_letn 36,833 tp_fix 41,913 tp-preserve.elf,218 tps 4,118 tps_z 7,181 tps_s 8,219 tps_case_z10,288 tps_case_s12,367 tps_pair 17,494 tps_fst 20,604 tps_snd 22,683 tps_lam 26,775 tps_app 27,822 tps_letv 33,971 tps_letn 37,1073 tps_fix 41,1155