"Bf.ml" 12 139 147 "Bf.ml" 12 139 150 type( t -> t ) ident( def neg "Bf.ml" 12 139 139 "Bf.ml" 1 0 -1 ) "Bf.ml" 13 162 170 "Bf.ml" 13 162 171 type( t ) ident( def a "Bf.ml" 13 162 178 "Bf.ml" 13 162 194 ) "Bf.ml" 13 162 172 "Bf.ml" 13 162 173 type( t ) ident( def b "Bf.ml" 13 162 178 "Bf.ml" 13 162 194 ) "Bf.ml" 13 162 166 "Bf.ml" 13 162 174 type( t ) "Bf.ml" 13 162 181 "Bf.ml" 13 162 184 type( t -> t ) ident( int_ref neg "Bf.ml" 12 139 147 "Bf.ml" 12 139 150 ) "Bf.ml" 13 162 185 "Bf.ml" 13 162 186 type( t ) ident( int_ref a "Bf.ml" 13 162 170 "Bf.ml" 13 162 171 ) "Bf.ml" 13 162 181 "Bf.ml" 13 162 186 call( stack ) type( t ) "Bf.ml" 13 162 188 "Bf.ml" 13 162 191 type( t -> t ) ident( int_ref neg "Bf.ml" 12 139 147 "Bf.ml" 12 139 150 ) "Bf.ml" 13 162 192 "Bf.ml" 13 162 193 type( t ) ident( int_ref b "Bf.ml" 13 162 172 "Bf.ml" 13 162 173 ) "Bf.ml" 13 162 188 "Bf.ml" 13 162 193 call( stack ) type( t ) "Bf.ml" 13 162 178 "Bf.ml" 13 162 194 type( t ) "Bf.ml" 14 195 202 "Bf.ml" 14 195 203 type( t ) ident( def a "Bf.ml" 14 195 210 "Bf.ml" 14 195 227 ) "Bf.ml" 14 195 204 "Bf.ml" 14 195 205 type( t ) ident( def b "Bf.ml" 14 195 210 "Bf.ml" 14 195 227 ) "Bf.ml" 14 195 199 "Bf.ml" 14 195 206 type( t ) "Bf.ml" 14 195 214 "Bf.ml" 14 195 217 type( t -> t ) ident( int_ref neg "Bf.ml" 12 139 147 "Bf.ml" 12 139 150 ) "Bf.ml" 14 195 218 "Bf.ml" 14 195 219 type( t ) ident( int_ref a "Bf.ml" 14 195 202 "Bf.ml" 14 195 203 ) "Bf.ml" 14 195 214 "Bf.ml" 14 195 219 call( stack ) type( t ) "Bf.ml" 14 195 221 "Bf.ml" 14 195 224 type( t -> t ) ident( int_ref neg "Bf.ml" 12 139 147 "Bf.ml" 12 139 150 ) "Bf.ml" 14 195 225 "Bf.ml" 14 195 226 type( t ) ident( int_ref b "Bf.ml" 14 195 204 "Bf.ml" 14 195 205 ) "Bf.ml" 14 195 221 "Bf.ml" 14 195 226 call( stack ) type( t ) "Bf.ml" 14 195 210 "Bf.ml" 14 195 227 type( t ) "Bf.ml" 15 228 237 "Bf.ml" 15 228 238 type( int ) ident( def i "Bf.ml" 15 228 245 "Bf.ml" 15 228 258 ) "Bf.ml" 15 228 239 "Bf.ml" 15 228 240 type( bool ) ident( def b "Bf.ml" 15 228 245 "Bf.ml" 15 228 258 ) "Bf.ml" 15 228 232 "Bf.ml" 15 228 241 type( t ) "Bf.ml" 15 228 250 "Bf.ml" 15 228 251 type( int ) ident( int_ref i "Bf.ml" 15 228 237 "Bf.ml" 15 228 238 ) "Bf.ml" 15 228 252 "Bf.ml" 15 228 255 type( bool -> bool ) ident( ext_ref Pervasives.not ) "Bf.ml" 15 228 256 "Bf.ml" 15 228 257 type( bool ) ident( int_ref b "Bf.ml" 15 228 239 "Bf.ml" 15 228 240 ) "Bf.ml" 15 228 252 "Bf.ml" 15 228 257 type( bool ) "Bf.ml" 15 228 245 "Bf.ml" 15 228 258 type( t ) "Bf.ml" 16 259 263 "Bf.ml" 16 259 266 type( t ) "Bf.ml" 16 259 270 "Bf.ml" 16 259 273 type( t ) "Bf.ml" 17 274 278 "Bf.ml" 17 274 281 type( t ) "Bf.ml" 17 274 285 "Bf.ml" 17 274 288 type( t ) "Bf.ml" 12 139 153 "Bf.ml" 17 274 288 type( t -> t ) "Bf.ml" 20 291 295 "Bf.ml" 20 291 298 type( bool -> t -> t ) ident( def xor "Bf.ml" 24 333 333 "Bf.ml" 1 0 -1 ) "Bf.ml" 20 291 299 "Bf.ml" 20 291 300 type( bool ) ident( def a "Bf.ml" 20 291 301 "Bf.ml" 21 306 330 ) "Bf.ml" 20 291 301 "Bf.ml" 20 291 302 type( t ) ident( def v "Bf.ml" 21 306 308 "Bf.ml" 21 306 330 ) "Bf.ml" 21 306 311 "Bf.ml" 21 306 312 type( bool ) ident( int_ref a "Bf.ml" 20 291 299 "Bf.ml" 20 291 300 ) "Bf.ml" 21 306 318 "Bf.ml" 21 306 321 type( t -> t ) ident( int_ref neg "Bf.ml" 12 139 147 "Bf.ml" 12 139 150 ) "Bf.ml" 21 306 322 "Bf.ml" 21 306 323 type( t ) ident( int_ref v "Bf.ml" 20 291 301 "Bf.ml" 20 291 302 ) "Bf.ml" 21 306 318 "Bf.ml" 21 306 323 call( tail ) type( t ) "Bf.ml" 21 306 329 "Bf.ml" 21 306 330 type( t ) ident( int_ref v "Bf.ml" 20 291 301 "Bf.ml" 20 291 302 ) "Bf.ml" 21 306 308 "Bf.ml" 21 306 330 type( t ) "Bf.ml" 24 333 341 "Bf.ml" 24 333 348 type( int -> t -> t -> t ) ident( def replace "Bf.ml" 24 333 333 "Bf.ml" 1 0 -1 ) "Bf.ml" 24 333 349 "Bf.ml" 24 333 350 type( int ) ident( def i "Bf.ml" 24 333 351 "Bf.ml" 28 518 528 ) "Bf.ml" 24 333 351 "Bf.ml" 24 333 352 type( t ) ident( def v "Bf.ml" 24 333 355 "Bf.ml" 28 518 528 ) "Bf.ml" 25 364 372 "Bf.ml" 25 364 373 type( t ) ident( def a "Bf.ml" 25 364 380 "Bf.ml" 25 364 412 ) "Bf.ml" 25 364 374 "Bf.ml" 25 364 375 type( t ) ident( def b "Bf.ml" 25 364 380 "Bf.ml" 25 364 412 ) "Bf.ml" 25 364 368 "Bf.ml" 25 364 376 type( t ) "Bf.ml" 25 364 384 "Bf.ml" 25 364 391 type( int -> t -> t -> t ) ident( int_ref replace "Bf.ml" 24 333 341 "Bf.ml" 24 333 348 ) "Bf.ml" 25 364 392 "Bf.ml" 25 364 393 type( int ) ident( int_ref i "Bf.ml" 24 333 349 "Bf.ml" 24 333 350 ) "Bf.ml" 25 364 394 "Bf.ml" 25 364 395 type( t ) ident( int_ref v "Bf.ml" 24 333 351 "Bf.ml" 24 333 352 ) "Bf.ml" 25 364 396 "Bf.ml" 25 364 397 type( t ) ident( int_ref a "Bf.ml" 25 364 372 "Bf.ml" 25 364 373 ) "Bf.ml" 25 364 384 "Bf.ml" 25 364 397 call( stack ) type( t ) "Bf.ml" 25 364 398 "Bf.ml" 25 364 405 type( int -> t -> t -> t ) ident( int_ref replace "Bf.ml" 24 333 341 "Bf.ml" 24 333 348 ) "Bf.ml" 25 364 406 "Bf.ml" 25 364 407 type( int ) ident( int_ref i "Bf.ml" 24 333 349 "Bf.ml" 24 333 350 ) "Bf.ml" 25 364 408 "Bf.ml" 25 364 409 type( t ) ident( int_ref v "Bf.ml" 24 333 351 "Bf.ml" 24 333 352 ) "Bf.ml" 25 364 410 "Bf.ml" 25 364 411 type( t ) ident( int_ref b "Bf.ml" 25 364 374 "Bf.ml" 25 364 375 ) "Bf.ml" 25 364 398 "Bf.ml" 25 364 411 call( stack ) type( t ) "Bf.ml" 25 364 380 "Bf.ml" 25 364 412 type( t ) "Bf.ml" 26 413 420 "Bf.ml" 26 413 421 type( t ) ident( def a "Bf.ml" 26 413 428 "Bf.ml" 26 413 460 ) "Bf.ml" 26 413 422 "Bf.ml" 26 413 423 type( t ) ident( def b "Bf.ml" 26 413 428 "Bf.ml" 26 413 460 ) "Bf.ml" 26 413 417 "Bf.ml" 26 413 424 type( t ) "Bf.ml" 26 413 431 "Bf.ml" 26 413 438 type( int -> t -> t -> t ) ident( int_ref replace "Bf.ml" 24 333 341 "Bf.ml" 24 333 348 ) "Bf.ml" 26 413 439 "Bf.ml" 26 413 440 type( int ) ident( int_ref i "Bf.ml" 24 333 349 "Bf.ml" 24 333 350 ) "Bf.ml" 26 413 441 "Bf.ml" 26 413 442 type( t ) ident( int_ref v "Bf.ml" 24 333 351 "Bf.ml" 24 333 352 ) "Bf.ml" 26 413 443 "Bf.ml" 26 413 444 type( t ) ident( int_ref a "Bf.ml" 26 413 420 "Bf.ml" 26 413 421 ) "Bf.ml" 26 413 431 "Bf.ml" 26 413 444 call( stack ) type( t ) "Bf.ml" 26 413 446 "Bf.ml" 26 413 453 type( int -> t -> t -> t ) ident( int_ref replace "Bf.ml" 24 333 341 "Bf.ml" 24 333 348 ) "Bf.ml" 26 413 454 "Bf.ml" 26 413 455 type( int ) ident( int_ref i "Bf.ml" 24 333 349 "Bf.ml" 24 333 350 ) "Bf.ml" 26 413 456 "Bf.ml" 26 413 457 type( t ) ident( int_ref v "Bf.ml" 24 333 351 "Bf.ml" 24 333 352 ) "Bf.ml" 26 413 458 "Bf.ml" 26 413 459 type( t ) ident( int_ref b "Bf.ml" 26 413 422 "Bf.ml" 26 413 423 ) "Bf.ml" 26 413 446 "Bf.ml" 26 413 459 call( stack ) type( t ) "Bf.ml" 26 413 428 "Bf.ml" 26 413 460 type( t ) "Bf.ml" 27 461 470 "Bf.ml" 27 461 472 type( int ) ident( def i' "Bf.ml" 27 461 479 "Bf.ml" 27 461 517 ) "Bf.ml" 27 461 473 "Bf.ml" 27 461 474 type( bool ) ident( def b "Bf.ml" 27 461 479 "Bf.ml" 27 461 517 ) "Bf.ml" 27 461 465 "Bf.ml" 27 461 475 type( t ) "Bf.ml" 27 461 482 "Bf.ml" 27 461 484 type( int ) ident( int_ref i' "Bf.ml" 27 461 470 "Bf.ml" 27 461 472 ) "Bf.ml" 27 461 485 "Bf.ml" 27 461 486 type( int -> int -> bool ) ident( ext_ref Pervasives.( = ) ) "Bf.ml" 27 461 487 "Bf.ml" 27 461 488 type( int ) ident( int_ref i "Bf.ml" 24 333 349 "Bf.ml" 24 333 350 ) "Bf.ml" 27 461 482 "Bf.ml" 27 461 488 type( bool ) "Bf.ml" 27 461 494 "Bf.ml" 27 461 497 type( bool -> t -> t ) ident( int_ref xor "Bf.ml" 20 291 295 "Bf.ml" 20 291 298 ) "Bf.ml" 27 461 498 "Bf.ml" 27 461 499 type( bool ) ident( int_ref b "Bf.ml" 27 461 473 "Bf.ml" 27 461 474 ) "Bf.ml" 27 461 500 "Bf.ml" 27 461 501 type( t ) ident( int_ref v "Bf.ml" 24 333 351 "Bf.ml" 24 333 352 ) "Bf.ml" 27 461 494 "Bf.ml" 27 461 501 call( tail ) type( t ) "Bf.ml" 27 461 512 "Bf.ml" 27 461 514 type( int ) ident( int_ref i' "Bf.ml" 27 461 470 "Bf.ml" 27 461 472 ) "Bf.ml" 27 461 515 "Bf.ml" 27 461 516 type( bool ) ident( int_ref b "Bf.ml" 27 461 473 "Bf.ml" 27 461 474 ) "Bf.ml" 27 461 507 "Bf.ml" 27 461 517 type( t ) "Bf.ml" 27 461 479 "Bf.ml" 27 461 517 type( t ) "Bf.ml" 28 518 522 "Bf.ml" 28 518 523 type( t ) ident( def f "Bf.ml" 28 518 527 "Bf.ml" 28 518 528 ) "Bf.ml" 28 518 527 "Bf.ml" 28 518 528 type( t ) ident( int_ref f "Bf.ml" 28 518 522 "Bf.ml" 28 518 523 ) "Bf.ml" 24 333 355 "Bf.ml" 28 518 528 type( t -> t ) "Bf.ml" 30 530 538 "Bf.ml" 30 530 546 type( t -> t ) ident( def simplify "Bf.ml" 30 530 530 "Bf.ml" 1 0 -1 ) "Bf.ml" 31 558 566 "Bf.ml" 31 558 567 type( t ) ident( def a "Bf.ml" 32 575 580 "Bf.ml" 35 670 693 ) "Bf.ml" 31 558 568 "Bf.ml" 31 558 569 type( t ) ident( def b "Bf.ml" 32 575 580 "Bf.ml" 35 670 693 ) "Bf.ml" 31 558 562 "Bf.ml" 31 558 570 type( t ) "Bf.ml" 32 575 588 "Bf.ml" 32 575 596 type( t -> t ) ident( int_ref simplify "Bf.ml" 30 530 538 "Bf.ml" 30 530 546 ) "Bf.ml" 32 575 597 "Bf.ml" 32 575 598 type( t ) ident( int_ref a "Bf.ml" 31 558 566 "Bf.ml" 31 558 567 ) "Bf.ml" 32 575 588 "Bf.ml" 32 575 598 call( stack ) type( t ) "Bf.ml" 32 575 600 "Bf.ml" 32 575 608 type( t -> t ) ident( int_ref simplify "Bf.ml" 30 530 538 "Bf.ml" 30 530 546 ) "Bf.ml" 32 575 609 "Bf.ml" 32 575 610 type( t ) ident( int_ref b "Bf.ml" 31 558 568 "Bf.ml" 31 558 569 ) "Bf.ml" 32 575 600 "Bf.ml" 32 575 610 call( stack ) type( t ) "Bf.ml" 32 575 587 "Bf.ml" 32 575 611 type( t * t ) "Bf.ml" 33 617 624 "Bf.ml" 33 617 627 type( t ) "Bf.ml" 33 617 628 "Bf.ml" 33 617 629 type( t ) ident( def f "Bf.ml" 33 617 640 "Bf.ml" 33 617 641 ) "Bf.ml" 33 617 624 "Bf.ml" 33 617 629 type( t * t ) "Bf.ml" 33 617 632 "Bf.ml" 33 617 633 type( t ) ident( def f "Bf.ml" 33 617 640 "Bf.ml" 33 617 641 ) "Bf.ml" 33 617 634 "Bf.ml" 33 617 637 type( t ) "Bf.ml" 33 617 632 "Bf.ml" 33 617 637 type( t * t ) "Bf.ml" 33 617 624 "Bf.ml" 33 617 637 type( t * t ) "Bf.ml" 33 617 640 "Bf.ml" 33 617 641 type( t ) ident( int_ref f "Bf.ml" 33 617 628 "Bf.ml" 33 617 629 ) "Bf.ml" 34 642 649 "Bf.ml" 34 642 652 type( t ) "Bf.ml" 34 642 653 "Bf.ml" 34 642 654 type( t ) "Bf.ml" 34 642 649 "Bf.ml" 34 642 654 type( t * t ) "Bf.ml" 34 642 657 "Bf.ml" 34 642 658 type( t ) "Bf.ml" 34 642 659 "Bf.ml" 34 642 662 type( t ) "Bf.ml" 34 642 657 "Bf.ml" 34 642 662 type( t * t ) "Bf.ml" 34 642 649 "Bf.ml" 34 642 662 type( t * t ) "Bf.ml" 34 642 666 "Bf.ml" 34 642 669 type( t ) "Bf.ml" 35 670 677 "Bf.ml" 35 670 678 type( t ) ident( def a "Bf.ml" 35 670 684 "Bf.ml" 35 670 692 ) "Bf.ml" 35 670 679 "Bf.ml" 35 670 680 type( t ) ident( def b "Bf.ml" 35 670 684 "Bf.ml" 35 670 692 ) "Bf.ml" 35 670 677 "Bf.ml" 35 670 680 type( t * t ) "Bf.ml" 35 670 688 "Bf.ml" 35 670 689 type( t ) ident( int_ref a "Bf.ml" 35 670 677 "Bf.ml" 35 670 678 ) "Bf.ml" 35 670 690 "Bf.ml" 35 670 691 type( t ) ident( int_ref b "Bf.ml" 35 670 679 "Bf.ml" 35 670 680 ) "Bf.ml" 35 670 684 "Bf.ml" 35 670 692 type( t ) "Bf.ml" 32 575 580 "Bf.ml" 35 670 693 type( t ) "Bf.ml" 36 694 701 "Bf.ml" 36 694 702 type( t ) ident( def a "Bf.ml" 37 710 715 "Bf.ml" 40 805 827 ) "Bf.ml" 36 694 703 "Bf.ml" 36 694 704 type( t ) ident( def b "Bf.ml" 37 710 715 "Bf.ml" 40 805 827 ) "Bf.ml" 36 694 698 "Bf.ml" 36 694 705 type( t ) "Bf.ml" 37 710 723 "Bf.ml" 37 710 731 type( t -> t ) ident( int_ref simplify "Bf.ml" 30 530 538 "Bf.ml" 30 530 546 ) "Bf.ml" 37 710 732 "Bf.ml" 37 710 733 type( t ) ident( int_ref a "Bf.ml" 36 694 701 "Bf.ml" 36 694 702 ) "Bf.ml" 37 710 723 "Bf.ml" 37 710 733 call( stack ) type( t ) "Bf.ml" 37 710 735 "Bf.ml" 37 710 743 type( t -> t ) ident( int_ref simplify "Bf.ml" 30 530 538 "Bf.ml" 30 530 546 ) "Bf.ml" 37 710 744 "Bf.ml" 37 710 745 type( t ) ident( int_ref b "Bf.ml" 36 694 703 "Bf.ml" 36 694 704 ) "Bf.ml" 37 710 735 "Bf.ml" 37 710 745 call( stack ) type( t ) "Bf.ml" 37 710 722 "Bf.ml" 37 710 746 type( t * t ) "Bf.ml" 38 752 759 "Bf.ml" 38 752 762 type( t ) "Bf.ml" 38 752 763 "Bf.ml" 38 752 764 type( t ) ident( def f "Bf.ml" 38 752 775 "Bf.ml" 38 752 778 ) "Bf.ml" 38 752 759 "Bf.ml" 38 752 764 type( t * t ) "Bf.ml" 38 752 767 "Bf.ml" 38 752 768 type( t ) ident( def f "Bf.ml" 38 752 775 "Bf.ml" 38 752 778 ) "Bf.ml" 38 752 769 "Bf.ml" 38 752 772 type( t ) "Bf.ml" 38 752 767 "Bf.ml" 38 752 772 type( t * t ) "Bf.ml" 38 752 759 "Bf.ml" 38 752 772 type( t * t ) "Bf.ml" 38 752 775 "Bf.ml" 38 752 778 type( t ) "Bf.ml" 39 779 786 "Bf.ml" 39 779 789 type( t ) "Bf.ml" 39 779 790 "Bf.ml" 39 779 791 type( t ) ident( def f "Bf.ml" 39 779 803 "Bf.ml" 39 779 804 ) "Bf.ml" 39 779 786 "Bf.ml" 39 779 791 type( t * t ) "Bf.ml" 39 779 794 "Bf.ml" 39 779 795 type( t ) ident( def f "Bf.ml" 39 779 803 "Bf.ml" 39 779 804 ) "Bf.ml" 39 779 796 "Bf.ml" 39 779 799 type( t ) "Bf.ml" 39 779 794 "Bf.ml" 39 779 799 type( t * t ) "Bf.ml" 39 779 786 "Bf.ml" 39 779 799 type( t * t ) "Bf.ml" 39 779 803 "Bf.ml" 39 779 804 type( t ) ident( int_ref f "Bf.ml" 39 779 790 "Bf.ml" 39 779 791 ) "Bf.ml" 40 805 812 "Bf.ml" 40 805 813 type( t ) ident( def a "Bf.ml" 40 805 819 "Bf.ml" 40 805 826 ) "Bf.ml" 40 805 814 "Bf.ml" 40 805 815 type( t ) ident( def b "Bf.ml" 40 805 819 "Bf.ml" 40 805 826 ) "Bf.ml" 40 805 812 "Bf.ml" 40 805 815 type( t * t ) "Bf.ml" 40 805 822 "Bf.ml" 40 805 823 type( t ) ident( int_ref a "Bf.ml" 40 805 812 "Bf.ml" 40 805 813 ) "Bf.ml" 40 805 824 "Bf.ml" 40 805 825 type( t ) ident( int_ref b "Bf.ml" 40 805 814 "Bf.ml" 40 805 815 ) "Bf.ml" 40 805 819 "Bf.ml" 40 805 826 type( t ) "Bf.ml" 37 710 715 "Bf.ml" 40 805 827 type( t ) "Bf.ml" 41 828 832 "Bf.ml" 41 828 833 type( t ) ident( def f "Bf.ml" 41 828 837 "Bf.ml" 41 828 838 ) "Bf.ml" 41 828 837 "Bf.ml" 41 828 838 type( t ) ident( int_ref f "Bf.ml" 41 828 832 "Bf.ml" 41 828 833 ) "Bf.ml" 30 530 549 "Bf.ml" 41 828 838 type( t -> t ) "Bf.ml" 43 840 848 "Bf.ml" 43 840 859 type( t -> int ) ident( def get_min_var "Bf.ml" 43 840 840 "Bf.ml" 1 0 -1 ) "Bf.ml" 44 871 879 "Bf.ml" 44 871 880 type( t ) ident( def a "Bf.ml" 44 871 897 "Bf.ml" 44 871 932 ) "Bf.ml" 44 871 881 "Bf.ml" 44 871 882 type( t ) ident( def b "Bf.ml" 44 871 897 "Bf.ml" 44 871 932 ) "Bf.ml" 44 871 875 "Bf.ml" 44 871 883 type( t ) "Bf.ml" 44 871 889 "Bf.ml" 44 871 890 type( t ) ident( def a "Bf.ml" 44 871 897 "Bf.ml" 44 871 932 ) "Bf.ml" 44 871 891 "Bf.ml" 44 871 892 type( t ) ident( def b "Bf.ml" 44 871 897 "Bf.ml" 44 871 932 ) "Bf.ml" 44 871 886 "Bf.ml" 44 871 893 type( t ) "Bf.ml" 44 871 875 "Bf.ml" 44 871 893 type( t ) "Bf.ml" 44 871 897 "Bf.ml" 44 871 900 type( int -> int -> int ) ident( ext_ref Pervasives.min ) "Bf.ml" 44 871 902 "Bf.ml" 44 871 913 type( t -> int ) ident( int_ref get_min_var "Bf.ml" 43 840 848 "Bf.ml" 43 840 859 ) "Bf.ml" 44 871 914 "Bf.ml" 44 871 915 type( t ) ident( int_ref a "Bf.ml" 44 871 879 "Bf.ml" 44 871 880 ) "Bf.ml" 44 871 901 "Bf.ml" 44 871 916 call( stack ) type( int ) "Bf.ml" 44 871 918 "Bf.ml" 44 871 929 type( t -> int ) ident( int_ref get_min_var "Bf.ml" 43 840 848 "Bf.ml" 43 840 859 ) "Bf.ml" 44 871 930 "Bf.ml" 44 871 931 type( t ) ident( int_ref b "Bf.ml" 44 871 881 "Bf.ml" 44 871 882 ) "Bf.ml" 44 871 917 "Bf.ml" 44 871 932 call( stack ) type( int ) "Bf.ml" 44 871 897 "Bf.ml" 44 871 932 call( tail ) type( int ) "Bf.ml" 45 933 942 "Bf.ml" 45 933 943 type( int ) ident( def i "Bf.ml" 45 933 950 "Bf.ml" 45 933 951 ) "Bf.ml" 45 933 944 "Bf.ml" 45 933 945 type( bool ) ident( def b "Bf.ml" 45 933 950 "Bf.ml" 45 933 951 ) "Bf.ml" 45 933 937 "Bf.ml" 45 933 946 type( t ) "Bf.ml" 45 933 950 "Bf.ml" 45 933 951 type( int ) ident( int_ref i "Bf.ml" 45 933 942 "Bf.ml" 45 933 943 ) "Bf.ml" 46 952 956 "Bf.ml" 46 952 957 type( t ) ident( def f "Bf.ml" 46 952 961 "Bf.ml" 46 952 963 ) "Bf.ml" 46 952 961 "Bf.ml" 46 952 963 type( int ) "Bf.ml" 43 840 862 "Bf.ml" 46 952 963 type( t -> int ) "Bf.ml" 48 965 969 "Bf.ml" 48 965 974 type( t -> unit ) ident( def print "Bf.ml" 59 1246 1246 "Bf.ml" 1 0 -1 ) "Bf.ml" 48 965 975 "Bf.ml" 48 965 976 type( t ) ident( def f "Bf.ml" 50 981 983 "Bf.ml" 57 1186 1242 ) "Bf.ml" 50 981 991 "Bf.ml" 50 981 994 type( t -> string ) ident( def foo "Bf.ml" 50 981 983 "Bf.ml" 57 1186 1242 ) "Bf.ml" 51 1006 1014 "Bf.ml" 51 1006 1015 type( t ) ident( def a "Bf.ml" 51 1006 1022 "Bf.ml" 51 1006 1048 ) "Bf.ml" 51 1006 1016 "Bf.ml" 51 1006 1017 type( t ) ident( def b "Bf.ml" 51 1006 1022 "Bf.ml" 51 1006 1048 ) "Bf.ml" 51 1006 1010 "Bf.ml" 51 1006 1018 type( t ) "Bf.ml" 51 1006 1022 "Bf.ml" 51 1006 1025 type( string ) "Bf.ml" 51 1006 1025 "Bf.ml" 51 1006 1026 type( string -> string -> string ) ident( ext_ref Pervasives.( ^ ) ) "Bf.ml" 51 1006 1026 "Bf.ml" 51 1006 1029 type( t -> string ) ident( int_ref foo "Bf.ml" 50 981 991 "Bf.ml" 50 981 994 ) "Bf.ml" 51 1006 1030 "Bf.ml" 51 1006 1031 type( t ) ident( int_ref a "Bf.ml" 51 1006 1014 "Bf.ml" 51 1006 1015 ) "Bf.ml" 51 1006 1026 "Bf.ml" 51 1006 1031 call( stack ) type( string ) "Bf.ml" 51 1006 1031 "Bf.ml" 51 1006 1032 type( string -> string -> string ) ident( ext_ref Pervasives.( ^ ) ) "Bf.ml" 51 1006 1032 "Bf.ml" 51 1006 1038 type( string ) "Bf.ml" 51 1006 1038 "Bf.ml" 51 1006 1039 type( string -> string -> string ) ident( ext_ref Pervasives.( ^ ) ) "Bf.ml" 51 1006 1039 "Bf.ml" 51 1006 1042 type( t -> string ) ident( int_ref foo "Bf.ml" 50 981 991 "Bf.ml" 50 981 994 ) "Bf.ml" 51 1006 1043 "Bf.ml" 51 1006 1044 type( t ) ident( int_ref b "Bf.ml" 51 1006 1016 "Bf.ml" 51 1006 1017 ) "Bf.ml" 51 1006 1039 "Bf.ml" 51 1006 1044 call( stack ) type( string ) "Bf.ml" 51 1006 1044 "Bf.ml" 51 1006 1045 type( string -> string -> string ) ident( ext_ref Pervasives.( ^ ) ) "Bf.ml" 51 1006 1045 "Bf.ml" 51 1006 1048 type( string ) "Bf.ml" 51 1006 1039 "Bf.ml" 51 1006 1048 call( stack ) type( string ) "Bf.ml" 51 1006 1032 "Bf.ml" 51 1006 1048 call( stack ) type( string ) "Bf.ml" 51 1006 1026 "Bf.ml" 51 1006 1048 call( stack ) type( string ) "Bf.ml" 51 1006 1022 "Bf.ml" 51 1006 1048 call( tail ) type( string ) "Bf.ml" 52 1049 1056 "Bf.ml" 52 1049 1057 type( t ) ident( def a "Bf.ml" 52 1049 1064 "Bf.ml" 52 1049 1089 ) "Bf.ml" 52 1049 1058 "Bf.ml" 52 1049 1059 type( t ) ident( def b "Bf.ml" 52 1049 1064 "Bf.ml" 52 1049 1089 ) "Bf.ml" 52 1049 1053 "Bf.ml" 52 1049 1060 type( t ) "Bf.ml" 52 1049 1064 "Bf.ml" 52 1049 1067 type( string ) "Bf.ml" 52 1049 1067 "Bf.ml" 52 1049 1068 type( string -> string -> string ) ident( ext_ref Pervasives.( ^ ) ) "Bf.ml" 52 1049 1068 "Bf.ml" 52 1049 1071 type( t -> string ) ident( int_ref foo "Bf.ml" 50 981 991 "Bf.ml" 50 981 994 ) "Bf.ml" 52 1049 1072 "Bf.ml" 52 1049 1073 type( t ) ident( int_ref a "Bf.ml" 52 1049 1056 "Bf.ml" 52 1049 1057 ) "Bf.ml" 52 1049 1068 "Bf.ml" 52 1049 1073 call( stack ) type( string ) "Bf.ml" 52 1049 1073 "Bf.ml" 52 1049 1074 type( string -> string -> string ) ident( ext_ref Pervasives.( ^ ) ) "Bf.ml" 52 1049 1074 "Bf.ml" 52 1049 1079 type( string ) "Bf.ml" 52 1049 1079 "Bf.ml" 52 1049 1080 type( string -> string -> string ) ident( ext_ref Pervasives.( ^ ) ) "Bf.ml" 52 1049 1080 "Bf.ml" 52 1049 1083 type( t -> string ) ident( int_ref foo "Bf.ml" 50 981 991 "Bf.ml" 50 981 994 ) "Bf.ml" 52 1049 1084 "Bf.ml" 52 1049 1085 type( t ) ident( int_ref b "Bf.ml" 52 1049 1058 "Bf.ml" 52 1049 1059 ) "Bf.ml" 52 1049 1080 "Bf.ml" 52 1049 1085 call( stack ) type( string ) "Bf.ml" 52 1049 1085 "Bf.ml" 52 1049 1086 type( string -> string -> string ) ident( ext_ref Pervasives.( ^ ) ) "Bf.ml" 52 1049 1086 "Bf.ml" 52 1049 1089 type( string ) "Bf.ml" 52 1049 1080 "Bf.ml" 52 1049 1089 call( stack ) type( string ) "Bf.ml" 52 1049 1074 "Bf.ml" 52 1049 1089 call( stack ) type( string ) "Bf.ml" 52 1049 1068 "Bf.ml" 52 1049 1089 call( stack ) type( string ) "Bf.ml" 52 1049 1064 "Bf.ml" 52 1049 1089 call( tail ) type( string ) "Bf.ml" 53 1090 1099 "Bf.ml" 53 1090 1100 type( int ) ident( def a "Bf.ml" 53 1090 1107 "Bf.ml" 53 1090 1150 ) "Bf.ml" 53 1090 1101 "Bf.ml" 53 1090 1102 type( bool ) ident( def b "Bf.ml" 53 1090 1107 "Bf.ml" 53 1090 1150 ) "Bf.ml" 53 1090 1094 "Bf.ml" 53 1090 1103 type( t ) "Bf.ml" 53 1090 1111 "Bf.ml" 53 1090 1112 type( bool ) ident( int_ref b "Bf.ml" 53 1090 1101 "Bf.ml" 53 1090 1102 ) "Bf.ml" 53 1090 1118 "Bf.ml" 53 1090 1121 type( string ) "Bf.ml" 53 1090 1127 "Bf.ml" 53 1090 1129 type( string ) "Bf.ml" 53 1090 1107 "Bf.ml" 53 1090 1130 type( string ) "Bf.ml" 53 1090 1130 "Bf.ml" 53 1090 1131 type( string -> string -> string ) ident( ext_ref Pervasives.( ^ ) ) "Bf.ml" 53 1090 1131 "Bf.ml" 53 1090 1134 type( string ) "Bf.ml" 53 1090 1134 "Bf.ml" 53 1090 1135 type( string -> string -> string ) ident( ext_ref Pervasives.( ^ ) ) "Bf.ml" 53 1090 1135 "Bf.ml" 53 1090 1148 type( int -> string ) ident( ext_ref Pervasives.string_of_int ) "Bf.ml" 53 1090 1149 "Bf.ml" 53 1090 1150 type( int ) ident( int_ref a "Bf.ml" 53 1090 1099 "Bf.ml" 53 1090 1100 ) "Bf.ml" 53 1090 1135 "Bf.ml" 53 1090 1150 call( stack ) type( string ) "Bf.ml" 53 1090 1131 "Bf.ml" 53 1090 1150 call( stack ) type( string ) "Bf.ml" 53 1090 1107 "Bf.ml" 53 1090 1150 call( tail ) type( string ) "Bf.ml" 54 1151 1155 "Bf.ml" 54 1151 1158 type( t ) "Bf.ml" 54 1151 1162 "Bf.ml" 54 1151 1165 type( string ) "Bf.ml" 55 1166 1170 "Bf.ml" 55 1166 1173 type( t ) "Bf.ml" 55 1166 1177 "Bf.ml" 55 1166 1180 type( string ) "Bf.ml" 50 981 997 "Bf.ml" 55 1166 1180 type( t -> string ) "Bf.ml" 57 1186 1188 "Bf.ml" 57 1186 1200 type( string -> unit ) ident( ext_ref Pervasives.print_string ) "Bf.ml" 57 1186 1202 "Bf.ml" 57 1186 1205 type( t -> string ) ident( int_ref foo "Bf.ml" 50 981 991 "Bf.ml" 50 981 994 ) "Bf.ml" 57 1186 1206 "Bf.ml" 57 1186 1207 type( t ) ident( int_ref f "Bf.ml" 48 965 975 "Bf.ml" 48 965 976 ) "Bf.ml" 57 1186 1201 "Bf.ml" 57 1186 1208 call( stack ) type( string ) "Bf.ml" 57 1186 1188 "Bf.ml" 57 1186 1208 call( stack ) type( unit ) "Bf.ml" 57 1186 1211 "Bf.ml" 57 1186 1224 type( unit -> unit ) ident( ext_ref Pervasives.print_newline ) "Bf.ml" 57 1186 1225 "Bf.ml" 57 1186 1227 type( unit ) "Bf.ml" 57 1186 1211 "Bf.ml" 57 1186 1227 call( stack ) type( unit ) "Bf.ml" 57 1186 1230 "Bf.ml" 57 1186 1239 type( unit -> unit ) ident( ext_ref Pervasives.flush_all ) "Bf.ml" 57 1186 1240 "Bf.ml" 57 1186 1242 type( unit ) "Bf.ml" 57 1186 1230 "Bf.ml" 57 1186 1242 call( tail ) type( unit ) "Bf.ml" 57 1186 1211 "Bf.ml" 57 1186 1242 type( unit ) "Bf.ml" 57 1186 1188 "Bf.ml" 57 1186 1242 type( unit ) "Bf.ml" 50 981 983 "Bf.ml" 57 1186 1242 type( unit ) "Bf.ml" 59 1246 1250 "Bf.ml" 59 1246 1258 type( af -> unit ) ident( def af_print "Bf.ml" 61 1340 1435 "Bf.ml" 1 0 -1 ) "Bf.ml" 60 1270 1282 "Bf.ml" 60 1270 1283 type( string ) ident( def s "Bf.ml" 60 1270 1288 "Bf.ml" 60 1270 1338 ) "Bf.ml" 60 1270 1274 "Bf.ml" 60 1270 1283 type( af ) "Bf.ml" 60 1270 1288 "Bf.ml" 60 1270 1300 type( string -> unit ) ident( ext_ref Pervasives.print_string ) "Bf.ml" 60 1270 1302 "Bf.ml" 60 1270 1309 type( string ) "Bf.ml" 60 1270 1309 "Bf.ml" 60 1270 1310 type( string -> string -> string ) ident( ext_ref Pervasives.( ^ ) ) "Bf.ml" 60 1270 1310 "Bf.ml" 60 1270 1311 type( string ) ident( int_ref s "Bf.ml" 60 1270 1282 "Bf.ml" 60 1270 1283 ) "Bf.ml" 60 1270 1311 "Bf.ml" 60 1270 1312 type( string -> string -> string ) ident( ext_ref Pervasives.( ^ ) ) "Bf.ml" 60 1270 1312 "Bf.ml" 60 1270 1316 type( string ) "Bf.ml" 60 1270 1310 "Bf.ml" 60 1270 1316 call( stack ) type( string ) "Bf.ml" 60 1270 1301 "Bf.ml" 60 1270 1317 call( stack ) type( string ) "Bf.ml" 60 1270 1288 "Bf.ml" 60 1270 1317 call( stack ) type( unit ) "Bf.ml" 60 1270 1320 "Bf.ml" 60 1270 1333 type( unit -> unit ) ident( ext_ref Pervasives.print_newline ) "Bf.ml" 60 1270 1334 "Bf.ml" 60 1270 1336 type( unit ) "Bf.ml" 60 1270 1320 "Bf.ml" 60 1270 1338 call( tail ) type( unit ) "Bf.ml" 60 1270 1288 "Bf.ml" 60 1270 1338 type( unit ) "Bf.ml" 61 1340 1353 "Bf.ml" 61 1340 1354 type( int ) ident( def i "Bf.ml" 61 1340 1361 "Bf.ml" 61 1340 1435 ) "Bf.ml" 61 1340 1355 "Bf.ml" 61 1340 1356 type( t ) ident( def f "Bf.ml" 61 1340 1361 "Bf.ml" 61 1340 1435 ) "Bf.ml" 61 1340 1344 "Bf.ml" 61 1340 1357 type( af ) "Bf.ml" 61 1340 1361 "Bf.ml" 61 1340 1373 type( string -> unit ) ident( ext_ref Pervasives.print_string ) "Bf.ml" 61 1340 1374 "Bf.ml" 61 1340 1377 type( string ) "Bf.ml" 61 1340 1361 "Bf.ml" 61 1340 1377 call( stack ) type( unit ) "Bf.ml" 61 1340 1378 "Bf.ml" 61 1340 1387 type( int -> unit ) ident( ext_ref Pervasives.print_int ) "Bf.ml" 61 1340 1388 "Bf.ml" 61 1340 1389 type( int ) ident( int_ref i "Bf.ml" 61 1340 1353 "Bf.ml" 61 1340 1354 ) "Bf.ml" 61 1340 1378 "Bf.ml" 61 1340 1389 call( stack ) type( unit ) "Bf.ml" 61 1340 1390 "Bf.ml" 61 1340 1402 type( string -> unit ) ident( ext_ref Pervasives.print_string ) "Bf.ml" 61 1340 1403 "Bf.ml" 61 1340 1407 type( string ) "Bf.ml" 61 1340 1390 "Bf.ml" 61 1340 1407 call( stack ) type( unit ) "Bf.ml" 61 1340 1409 "Bf.ml" 61 1340 1414 type( t -> unit ) ident( int_ref print "Bf.ml" 48 965 969 "Bf.ml" 48 965 974 ) "Bf.ml" 61 1340 1415 "Bf.ml" 61 1340 1416 type( t ) ident( int_ref f "Bf.ml" 61 1340 1355 "Bf.ml" 61 1340 1356 ) "Bf.ml" 61 1340 1409 "Bf.ml" 61 1340 1416 call( stack ) type( unit ) "Bf.ml" 61 1340 1419 "Bf.ml" 61 1340 1432 type( unit -> unit ) ident( ext_ref Pervasives.print_newline ) "Bf.ml" 61 1340 1433 "Bf.ml" 61 1340 1435 type( unit ) "Bf.ml" 61 1340 1419 "Bf.ml" 61 1340 1435 call( tail ) type( unit ) "Bf.ml" 61 1340 1409 "Bf.ml" 61 1340 1435 type( unit ) "Bf.ml" 61 1340 1390 "Bf.ml" 61 1340 1435 type( unit ) "Bf.ml" 61 1340 1378 "Bf.ml" 61 1340 1435 type( unit ) "Bf.ml" 61 1340 1361 "Bf.ml" 61 1340 1435 type( unit ) "Bf.ml" 59 1246 1261 "Bf.ml" 61 1340 1435 type( af -> unit )