"LAP_aulas/Aula3/Aula3.ml" 7 173 177 "LAP_aulas/Aula3/Aula3.ml" 7 173 183
type(
  int tree
)
ident(
  def myTree "LAP_aulas/Aula3/Aula3.ml" 13 383 383 --
)
"LAP_aulas/Aula3/Aula3.ml" 7 173 191 "LAP_aulas/Aula3/Aula3.ml" 7 173 192
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 7 173 199 "LAP_aulas/Aula3/Aula3.ml" 7 173 200
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 7 173 202 "LAP_aulas/Aula3/Aula3.ml" 7 173 205
type(
  int tree
)
"LAP_aulas/Aula3/Aula3.ml" 7 173 206 "LAP_aulas/Aula3/Aula3.ml" 7 173 209
type(
  int tree
)
"LAP_aulas/Aula3/Aula3.ml" 7 173 194 "LAP_aulas/Aula3/Aula3.ml" 7 173 210
type(
  int tree
)
"LAP_aulas/Aula3/Aula3.ml" 7 173 217 "LAP_aulas/Aula3/Aula3.ml" 7 173 218
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 7 173 219 "LAP_aulas/Aula3/Aula3.ml" 7 173 222
type(
  int tree
)
"LAP_aulas/Aula3/Aula3.ml" 7 173 223 "LAP_aulas/Aula3/Aula3.ml" 7 173 226
type(
  int tree
)
"LAP_aulas/Aula3/Aula3.ml" 7 173 212 "LAP_aulas/Aula3/Aula3.ml" 7 173 227
type(
  int tree
)
"LAP_aulas/Aula3/Aula3.ml" 7 173 186 "LAP_aulas/Aula3/Aula3.ml" 7 173 228
type(
  int tree
)
"LAP_aulas/Aula3/Aula3.ml" 13 383 387 "LAP_aulas/Aula3/Aula3.ml" 13 383 392
type(
  int tree
)
ident(
  def treeA "LAP_aulas/Aula3/Aula3.ml" 17 528 528 --
)
"LAP_aulas/Aula3/Aula3.ml" 13 383 400 "LAP_aulas/Aula3/Aula3.ml" 13 383 401
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 13 383 408 "LAP_aulas/Aula3/Aula3.ml" 13 383 409
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 13 383 410 "LAP_aulas/Aula3/Aula3.ml" 13 383 416
type(
  int tree
)
ident(
  int_ref myTree "LAP_aulas/Aula3/Aula3.ml" 7 173 177 "LAP_aulas/Aula3/Aula3.ml" 7 173 183
)
"LAP_aulas/Aula3/Aula3.ml" 13 383 417 "LAP_aulas/Aula3/Aula3.ml" 13 383 420
type(
  int tree
)
"LAP_aulas/Aula3/Aula3.ml" 13 383 403 "LAP_aulas/Aula3/Aula3.ml" 13 383 421
type(
  int tree
)
"LAP_aulas/Aula3/Aula3.ml" 13 383 428 "LAP_aulas/Aula3/Aula3.ml" 13 383 429
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 13 383 430 "LAP_aulas/Aula3/Aula3.ml" 13 383 433
type(
  int tree
)
"LAP_aulas/Aula3/Aula3.ml" 13 383 434 "LAP_aulas/Aula3/Aula3.ml" 13 383 440
type(
  int tree
)
ident(
  int_ref myTree "LAP_aulas/Aula3/Aula3.ml" 7 173 177 "LAP_aulas/Aula3/Aula3.ml" 7 173 183
)
"LAP_aulas/Aula3/Aula3.ml" 13 383 423 "LAP_aulas/Aula3/Aula3.ml" 13 383 441
type(
  int tree
)
"LAP_aulas/Aula3/Aula3.ml" 13 383 395 "LAP_aulas/Aula3/Aula3.ml" 13 383 442
type(
  int tree
)
"LAP_aulas/Aula3/Aula3.ml" 17 528 532 "LAP_aulas/Aula3/Aula3.ml" 17 528 537
type(
  (int * int) tree
)
ident(
  def treeB "LAP_aulas/Aula3/Aula3.ml" 21 680 680 --
)
"LAP_aulas/Aula3/Aula3.ml" 17 528 546 "LAP_aulas/Aula3/Aula3.ml" 17 528 547
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 17 528 548 "LAP_aulas/Aula3/Aula3.ml" 17 528 549
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 17 528 545 "LAP_aulas/Aula3/Aula3.ml" 17 528 550
type(
  int * int
)
"LAP_aulas/Aula3/Aula3.ml" 17 528 558 "LAP_aulas/Aula3/Aula3.ml" 17 528 559
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 17 528 560 "LAP_aulas/Aula3/Aula3.ml" 17 528 561
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 17 528 557 "LAP_aulas/Aula3/Aula3.ml" 17 528 562
type(
  int * int
)
"LAP_aulas/Aula3/Aula3.ml" 17 528 564 "LAP_aulas/Aula3/Aula3.ml" 17 528 567
type(
  (int * int) tree
)
"LAP_aulas/Aula3/Aula3.ml" 17 528 568 "LAP_aulas/Aula3/Aula3.ml" 17 528 571
type(
  (int * int) tree
)
"LAP_aulas/Aula3/Aula3.ml" 17 528 552 "LAP_aulas/Aula3/Aula3.ml" 17 528 572
type(
  (int * int) tree
)
"LAP_aulas/Aula3/Aula3.ml" 17 528 580 "LAP_aulas/Aula3/Aula3.ml" 17 528 581
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 17 528 582 "LAP_aulas/Aula3/Aula3.ml" 17 528 583
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 17 528 579 "LAP_aulas/Aula3/Aula3.ml" 17 528 584
type(
  int * int
)
"LAP_aulas/Aula3/Aula3.ml" 17 528 585 "LAP_aulas/Aula3/Aula3.ml" 17 528 588
type(
  (int * int) tree
)
"LAP_aulas/Aula3/Aula3.ml" 17 528 589 "LAP_aulas/Aula3/Aula3.ml" 17 528 592
type(
  (int * int) tree
)
"LAP_aulas/Aula3/Aula3.ml" 17 528 574 "LAP_aulas/Aula3/Aula3.ml" 17 528 593
type(
  (int * int) tree
)
"LAP_aulas/Aula3/Aula3.ml" 17 528 540 "LAP_aulas/Aula3/Aula3.ml" 17 528 594
type(
  (int * int) tree
)
"LAP_aulas/Aula3/Aula3.ml" 21 680 684 "LAP_aulas/Aula3/Aula3.ml" 21 680 689
type(
  (int * int) tree
)
ident(
  def treeC "LAP_aulas/Aula3/Aula3.ml" 25 805 805 --
)
"LAP_aulas/Aula3/Aula3.ml" 21 680 698 "LAP_aulas/Aula3/Aula3.ml" 21 680 699
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 21 680 700 "LAP_aulas/Aula3/Aula3.ml" 21 680 701
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 21 680 697 "LAP_aulas/Aula3/Aula3.ml" 21 680 702
type(
  int * int
)
"LAP_aulas/Aula3/Aula3.ml" 21 680 710 "LAP_aulas/Aula3/Aula3.ml" 21 680 711
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 21 680 712 "LAP_aulas/Aula3/Aula3.ml" 21 680 713
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 21 680 709 "LAP_aulas/Aula3/Aula3.ml" 21 680 714
type(
  int * int
)
"LAP_aulas/Aula3/Aula3.ml" 21 680 716 "LAP_aulas/Aula3/Aula3.ml" 21 680 719
type(
  (int * int) tree
)
"LAP_aulas/Aula3/Aula3.ml" 21 680 720 "LAP_aulas/Aula3/Aula3.ml" 21 680 723
type(
  (int * int) tree
)
"LAP_aulas/Aula3/Aula3.ml" 21 680 704 "LAP_aulas/Aula3/Aula3.ml" 21 680 724
type(
  (int * int) tree
)
"LAP_aulas/Aula3/Aula3.ml" 21 680 732 "LAP_aulas/Aula3/Aula3.ml" 21 680 733
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 21 680 734 "LAP_aulas/Aula3/Aula3.ml" 21 680 735
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 21 680 731 "LAP_aulas/Aula3/Aula3.ml" 21 680 736
type(
  int * int
)
"LAP_aulas/Aula3/Aula3.ml" 21 680 737 "LAP_aulas/Aula3/Aula3.ml" 21 680 740
type(
  (int * int) tree
)
"LAP_aulas/Aula3/Aula3.ml" 21 680 741 "LAP_aulas/Aula3/Aula3.ml" 21 680 744
type(
  (int * int) tree
)
"LAP_aulas/Aula3/Aula3.ml" 21 680 726 "LAP_aulas/Aula3/Aula3.ml" 21 680 745
type(
  (int * int) tree
)
"LAP_aulas/Aula3/Aula3.ml" 21 680 692 "LAP_aulas/Aula3/Aula3.ml" 21 680 746
type(
  (int * int) tree
)
"LAP_aulas/Aula3/Aula3.ml" 25 805 813 "LAP_aulas/Aula3/Aula3.ml" 25 805 820
type(
  'a -> 'a tree -> int
)
ident(
  def howMany "LAP_aulas/Aula3/Aula3.ml" 25 805 805 --
)
"LAP_aulas/Aula3/Aula3.ml" 25 805 821 "LAP_aulas/Aula3/Aula3.ml" 25 805 822
type(
  'a
)
ident(
  def v "LAP_aulas/Aula3/Aula3.ml" 25 805 823 "LAP_aulas/Aula3/Aula3.ml" 28 855 925
)
"LAP_aulas/Aula3/Aula3.ml" 25 805 823 "LAP_aulas/Aula3/Aula3.ml" 25 805 824
type(
  'a tree
)
ident(
  def t "LAP_aulas/Aula3/Aula3.ml" 26 827 828 "LAP_aulas/Aula3/Aula3.ml" 28 855 925
)
"LAP_aulas/Aula3/Aula3.ml" 26 827 834 "LAP_aulas/Aula3/Aula3.ml" 26 827 835
type(
  'a tree
)
ident(
  int_ref t "LAP_aulas/Aula3/Aula3.ml" 25 805 823 "LAP_aulas/Aula3/Aula3.ml" 25 805 824
)
"LAP_aulas/Aula3/Aula3.ml" 27 842 845 "LAP_aulas/Aula3/Aula3.ml" 27 842 848
type(
  'a tree
)
"LAP_aulas/Aula3/Aula3.ml" 27 842 853 "LAP_aulas/Aula3/Aula3.ml" 27 842 854
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 865 "LAP_aulas/Aula3/Aula3.ml" 28 855 866
type(
  'a
)
ident(
  def x "LAP_aulas/Aula3/Aula3.ml" 28 855 875 "LAP_aulas/Aula3/Aula3.ml" 28 855 925
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 867 "LAP_aulas/Aula3/Aula3.ml" 28 855 868
type(
  'a tree
)
ident(
  def l "LAP_aulas/Aula3/Aula3.ml" 28 855 875 "LAP_aulas/Aula3/Aula3.ml" 28 855 925
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 869 "LAP_aulas/Aula3/Aula3.ml" 28 855 870
type(
  'a tree
)
ident(
  def r "LAP_aulas/Aula3/Aula3.ml" 28 855 875 "LAP_aulas/Aula3/Aula3.ml" 28 855 925
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 859 "LAP_aulas/Aula3/Aula3.ml" 28 855 871
type(
  'a tree
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 879 "LAP_aulas/Aula3/Aula3.ml" 28 855 880
type(
  'a
)
ident(
  int_ref x "LAP_aulas/Aula3/Aula3.ml" 28 855 865 "LAP_aulas/Aula3/Aula3.ml" 28 855 866
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 880 "LAP_aulas/Aula3/Aula3.ml" 28 855 881
type(
  'a -> 'a -> bool
)
ident(
  ext_ref Pervasives.=
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 881 "LAP_aulas/Aula3/Aula3.ml" 28 855 882
type(
  'a
)
ident(
  int_ref v "LAP_aulas/Aula3/Aula3.ml" 25 805 821 "LAP_aulas/Aula3/Aula3.ml" 25 805 822
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 879 "LAP_aulas/Aula3/Aula3.ml" 28 855 882
type(
  bool
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 888 "LAP_aulas/Aula3/Aula3.ml" 28 855 889
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 895 "LAP_aulas/Aula3/Aula3.ml" 28 855 896
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 875 "LAP_aulas/Aula3/Aula3.ml" 28 855 897
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 898 "LAP_aulas/Aula3/Aula3.ml" 28 855 899
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.+
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 900 "LAP_aulas/Aula3/Aula3.ml" 28 855 907
type(
  'a -> 'a tree -> int
)
ident(
  int_ref howMany "LAP_aulas/Aula3/Aula3.ml" 25 805 813 "LAP_aulas/Aula3/Aula3.ml" 25 805 820
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 908 "LAP_aulas/Aula3/Aula3.ml" 28 855 909
type(
  'a
)
ident(
  int_ref v "LAP_aulas/Aula3/Aula3.ml" 25 805 821 "LAP_aulas/Aula3/Aula3.ml" 25 805 822
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 910 "LAP_aulas/Aula3/Aula3.ml" 28 855 911
type(
  'a tree
)
ident(
  int_ref l "LAP_aulas/Aula3/Aula3.ml" 28 855 867 "LAP_aulas/Aula3/Aula3.ml" 28 855 868
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 900 "LAP_aulas/Aula3/Aula3.ml" 28 855 911
call(
  stack
)
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 875 "LAP_aulas/Aula3/Aula3.ml" 28 855 911
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 912 "LAP_aulas/Aula3/Aula3.ml" 28 855 913
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.+
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 914 "LAP_aulas/Aula3/Aula3.ml" 28 855 921
type(
  'a -> 'a tree -> int
)
ident(
  int_ref howMany "LAP_aulas/Aula3/Aula3.ml" 25 805 813 "LAP_aulas/Aula3/Aula3.ml" 25 805 820
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 922 "LAP_aulas/Aula3/Aula3.ml" 28 855 923
type(
  'a
)
ident(
  int_ref v "LAP_aulas/Aula3/Aula3.ml" 25 805 821 "LAP_aulas/Aula3/Aula3.ml" 25 805 822
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 924 "LAP_aulas/Aula3/Aula3.ml" 28 855 925
type(
  'a tree
)
ident(
  int_ref r "LAP_aulas/Aula3/Aula3.ml" 28 855 869 "LAP_aulas/Aula3/Aula3.ml" 28 855 870
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 914 "LAP_aulas/Aula3/Aula3.ml" 28 855 925
call(
  stack
)
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 28 855 875 "LAP_aulas/Aula3/Aula3.ml" 28 855 925
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 26 827 828 "LAP_aulas/Aula3/Aula3.ml" 28 855 925
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 31 951 951 "LAP_aulas/Aula3/Aula3.ml" 31 951 958
type(
  int -> int tree -> int
)
ident(
  int_ref howMany "LAP_aulas/Aula3/Aula3.ml" 25 805 813 "LAP_aulas/Aula3/Aula3.ml" 25 805 820
)
"LAP_aulas/Aula3/Aula3.ml" 31 951 959 "LAP_aulas/Aula3/Aula3.ml" 31 951 960
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 31 951 961 "LAP_aulas/Aula3/Aula3.ml" 31 951 967
type(
  int tree
)
ident(
  int_ref myTree "LAP_aulas/Aula3/Aula3.ml" 7 173 177 "LAP_aulas/Aula3/Aula3.ml" 7 173 183
)
"LAP_aulas/Aula3/Aula3.ml" 31 951 951 "LAP_aulas/Aula3/Aula3.ml" 31 951 967
call(
  stack
)
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 32 971 971 "LAP_aulas/Aula3/Aula3.ml" 32 971 978
type(
  int -> int tree -> int
)
ident(
  int_ref howMany "LAP_aulas/Aula3/Aula3.ml" 25 805 813 "LAP_aulas/Aula3/Aula3.ml" 25 805 820
)
"LAP_aulas/Aula3/Aula3.ml" 32 971 979 "LAP_aulas/Aula3/Aula3.ml" 32 971 980
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 32 971 981 "LAP_aulas/Aula3/Aula3.ml" 32 971 987
type(
  int tree
)
ident(
  int_ref myTree "LAP_aulas/Aula3/Aula3.ml" 7 173 177 "LAP_aulas/Aula3/Aula3.ml" 7 173 183
)
"LAP_aulas/Aula3/Aula3.ml" 32 971 971 "LAP_aulas/Aula3/Aula3.ml" 32 971 987
call(
  stack
)
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 33 991 991 "LAP_aulas/Aula3/Aula3.ml" 33 991 998
type(
  int -> int tree -> int
)
ident(
  int_ref howMany "LAP_aulas/Aula3/Aula3.ml" 25 805 813 "LAP_aulas/Aula3/Aula3.ml" 25 805 820
)
"LAP_aulas/Aula3/Aula3.ml" 33 991 999 "LAP_aulas/Aula3/Aula3.ml" 33 991 1000
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 33 991 1001 "LAP_aulas/Aula3/Aula3.ml" 33 991 1006
type(
  int tree
)
ident(
  int_ref treeA "LAP_aulas/Aula3/Aula3.ml" 13 383 387 "LAP_aulas/Aula3/Aula3.ml" 13 383 392
)
"LAP_aulas/Aula3/Aula3.ml" 33 991 991 "LAP_aulas/Aula3/Aula3.ml" 33 991 1006
call(
  stack
)
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 34 1009 1009 "LAP_aulas/Aula3/Aula3.ml" 34 1009 1016
type(
  int -> int tree -> int
)
ident(
  int_ref howMany "LAP_aulas/Aula3/Aula3.ml" 25 805 813 "LAP_aulas/Aula3/Aula3.ml" 25 805 820
)
"LAP_aulas/Aula3/Aula3.ml" 34 1009 1017 "LAP_aulas/Aula3/Aula3.ml" 34 1009 1018
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 34 1009 1019 "LAP_aulas/Aula3/Aula3.ml" 34 1009 1024
type(
  int tree
)
ident(
  int_ref treeA "LAP_aulas/Aula3/Aula3.ml" 13 383 387 "LAP_aulas/Aula3/Aula3.ml" 13 383 392
)
"LAP_aulas/Aula3/Aula3.ml" 34 1009 1009 "LAP_aulas/Aula3/Aula3.ml" 34 1009 1024
call(
  stack
)
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 38 1112 1120 "LAP_aulas/Aula3/Aula3.ml" 38 1112 1127
type(
  ('a * 'a) tree -> int
)
ident(
  def eqPairs "LAP_aulas/Aula3/Aula3.ml" 38 1112 1112 --
)
"LAP_aulas/Aula3/Aula3.ml" 38 1112 1128 "LAP_aulas/Aula3/Aula3.ml" 38 1112 1129
type(
  ('a * 'a) tree
)
ident(
  def t "LAP_aulas/Aula3/Aula3.ml" 39 1132 1133 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1230
)
"LAP_aulas/Aula3/Aula3.ml" 39 1132 1139 "LAP_aulas/Aula3/Aula3.ml" 39 1132 1140
type(
  ('a * 'a) tree
)
ident(
  int_ref t "LAP_aulas/Aula3/Aula3.ml" 38 1112 1128 "LAP_aulas/Aula3/Aula3.ml" 38 1112 1129
)
"LAP_aulas/Aula3/Aula3.ml" 40 1147 1150 "LAP_aulas/Aula3/Aula3.ml" 40 1147 1153
type(
  ('a * 'a) tree
)
"LAP_aulas/Aula3/Aula3.ml" 40 1147 1157 "LAP_aulas/Aula3/Aula3.ml" 40 1147 1158
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1169 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1170
type(
  'a
)
ident(
  def x "LAP_aulas/Aula3/Aula3.ml" 41 1159 1182 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1230
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1171 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1172
type(
  'a
)
ident(
  def y "LAP_aulas/Aula3/Aula3.ml" 41 1159 1182 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1230
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1168 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1173
type(
  'a * 'a
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1174 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1175
type(
  ('a * 'a) tree
)
ident(
  def l "LAP_aulas/Aula3/Aula3.ml" 41 1159 1182 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1230
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1176 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1177
type(
  ('a * 'a) tree
)
ident(
  def r "LAP_aulas/Aula3/Aula3.ml" 41 1159 1182 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1230
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1163 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1178
type(
  ('a * 'a) tree
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1186 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1187
type(
  'a
)
ident(
  int_ref x "LAP_aulas/Aula3/Aula3.ml" 41 1159 1169 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1170
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1188 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1189
type(
  'a -> 'a -> bool
)
ident(
  ext_ref Pervasives.=
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1190 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1191
type(
  'a
)
ident(
  int_ref y "LAP_aulas/Aula3/Aula3.ml" 41 1159 1171 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1172
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1186 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1191
type(
  bool
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1197 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1198
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1204 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1205
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1182 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1206
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1207 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1208
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.+
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1209 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1216
type(
  ('a * 'a) tree -> int
)
ident(
  int_ref eqPairs "LAP_aulas/Aula3/Aula3.ml" 38 1112 1120 "LAP_aulas/Aula3/Aula3.ml" 38 1112 1127
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1217 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1218
type(
  ('a * 'a) tree
)
ident(
  int_ref l "LAP_aulas/Aula3/Aula3.ml" 41 1159 1174 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1175
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1209 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1218
call(
  stack
)
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1182 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1218
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1219 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1220
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.+
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1221 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1228
type(
  ('a * 'a) tree -> int
)
ident(
  int_ref eqPairs "LAP_aulas/Aula3/Aula3.ml" 38 1112 1120 "LAP_aulas/Aula3/Aula3.ml" 38 1112 1127
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1229 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1230
type(
  ('a * 'a) tree
)
ident(
  int_ref r "LAP_aulas/Aula3/Aula3.ml" 41 1159 1176 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1177
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1221 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1230
call(
  stack
)
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 41 1159 1182 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1230
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 39 1132 1133 "LAP_aulas/Aula3/Aula3.ml" 41 1159 1230
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 44 1257 1257 "LAP_aulas/Aula3/Aula3.ml" 44 1257 1264
type(
  (int * int) tree -> int
)
ident(
  int_ref eqPairs "LAP_aulas/Aula3/Aula3.ml" 38 1112 1120 "LAP_aulas/Aula3/Aula3.ml" 38 1112 1127
)
"LAP_aulas/Aula3/Aula3.ml" 44 1257 1265 "LAP_aulas/Aula3/Aula3.ml" 44 1257 1270
type(
  (int * int) tree
)
ident(
  int_ref treeB "LAP_aulas/Aula3/Aula3.ml" 17 528 532 "LAP_aulas/Aula3/Aula3.ml" 17 528 537
)
"LAP_aulas/Aula3/Aula3.ml" 44 1257 1257 "LAP_aulas/Aula3/Aula3.ml" 44 1257 1270
call(
  stack
)
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 45 1273 1273 "LAP_aulas/Aula3/Aula3.ml" 45 1273 1280
type(
  (int * int) tree -> int
)
ident(
  int_ref eqPairs "LAP_aulas/Aula3/Aula3.ml" 38 1112 1120 "LAP_aulas/Aula3/Aula3.ml" 38 1112 1127
)
"LAP_aulas/Aula3/Aula3.ml" 45 1273 1281 "LAP_aulas/Aula3/Aula3.ml" 45 1273 1286
type(
  (int * int) tree
)
ident(
  int_ref treeC "LAP_aulas/Aula3/Aula3.ml" 21 680 684 "LAP_aulas/Aula3/Aula3.ml" 21 680 689
)
"LAP_aulas/Aula3/Aula3.ml" 45 1273 1273 "LAP_aulas/Aula3/Aula3.ml" 45 1273 1286
call(
  stack
)
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 49 1333 1341 "LAP_aulas/Aula3/Aula3.ml" 49 1333 1351
type(
  'a tree -> 'a list
)
ident(
  def treeToList "LAP_aulas/Aula3/Aula3.ml" 49 1333 1333 --
)
"LAP_aulas/Aula3/Aula3.ml" 49 1333 1352 "LAP_aulas/Aula3/Aula3.ml" 49 1333 1353
type(
  'a tree
)
ident(
  def t "LAP_aulas/Aula3/Aula3.ml" 50 1356 1357 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1433
)
"LAP_aulas/Aula3/Aula3.ml" 50 1356 1363 "LAP_aulas/Aula3/Aula3.ml" 50 1356 1364
type(
  'a tree
)
ident(
  int_ref t "LAP_aulas/Aula3/Aula3.ml" 49 1333 1352 "LAP_aulas/Aula3/Aula3.ml" 49 1333 1353
)
"LAP_aulas/Aula3/Aula3.ml" 51 1370 1373 "LAP_aulas/Aula3/Aula3.ml" 51 1370 1376
type(
  'a tree
)
"LAP_aulas/Aula3/Aula3.ml" 51 1370 1380 "LAP_aulas/Aula3/Aula3.ml" 51 1370 1382
type(
  'a list
)
"LAP_aulas/Aula3/Aula3.ml" 52 1383 1392 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1393
type(
  'a
)
ident(
  def x "LAP_aulas/Aula3/Aula3.ml" 52 1383 1402 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1433
)
"LAP_aulas/Aula3/Aula3.ml" 52 1383 1394 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1395
type(
  'a tree
)
ident(
  def l "LAP_aulas/Aula3/Aula3.ml" 52 1383 1402 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1433
)
"LAP_aulas/Aula3/Aula3.ml" 52 1383 1396 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1397
type(
  'a tree
)
ident(
  def r "LAP_aulas/Aula3/Aula3.ml" 52 1383 1402 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1433
)
"LAP_aulas/Aula3/Aula3.ml" 52 1383 1387 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1398
type(
  'a tree
)
"LAP_aulas/Aula3/Aula3.ml" 52 1383 1402 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1403
type(
  'a
)
ident(
  int_ref x "LAP_aulas/Aula3/Aula3.ml" 52 1383 1392 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1393
)
"LAP_aulas/Aula3/Aula3.ml" 52 1383 1406 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1416
type(
  'a tree -> 'a list
)
ident(
  int_ref treeToList "LAP_aulas/Aula3/Aula3.ml" 49 1333 1341 "LAP_aulas/Aula3/Aula3.ml" 49 1333 1351
)
"LAP_aulas/Aula3/Aula3.ml" 52 1383 1417 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1418
type(
  'a tree
)
ident(
  int_ref l "LAP_aulas/Aula3/Aula3.ml" 52 1383 1394 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1395
)
"LAP_aulas/Aula3/Aula3.ml" 52 1383 1406 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1418
call(
  stack
)
type(
  'a list
)
"LAP_aulas/Aula3/Aula3.ml" 52 1383 1402 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1418
type(
  'a list
)
"LAP_aulas/Aula3/Aula3.ml" 52 1383 1419 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1420
type(
  'a list -> 'a list -> 'a list
)
ident(
  ext_ref Pervasives.@
)
"LAP_aulas/Aula3/Aula3.ml" 52 1383 1421 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1431
type(
  'a tree -> 'a list
)
ident(
  int_ref treeToList "LAP_aulas/Aula3/Aula3.ml" 49 1333 1341 "LAP_aulas/Aula3/Aula3.ml" 49 1333 1351
)
"LAP_aulas/Aula3/Aula3.ml" 52 1383 1432 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1433
type(
  'a tree
)
ident(
  int_ref r "LAP_aulas/Aula3/Aula3.ml" 52 1383 1396 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1397
)
"LAP_aulas/Aula3/Aula3.ml" 52 1383 1421 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1433
call(
  stack
)
type(
  'a list
)
"LAP_aulas/Aula3/Aula3.ml" 52 1383 1402 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1433
call(
  tail
)
type(
  'a list
)
"LAP_aulas/Aula3/Aula3.ml" 50 1356 1357 "LAP_aulas/Aula3/Aula3.ml" 52 1383 1433
type(
  'a list
)
"LAP_aulas/Aula3/Aula3.ml" 55 1456 1456 "LAP_aulas/Aula3/Aula3.ml" 55 1456 1466
type(
  int tree -> int list
)
ident(
  int_ref treeToList "LAP_aulas/Aula3/Aula3.ml" 49 1333 1341 "LAP_aulas/Aula3/Aula3.ml" 49 1333 1351
)
"LAP_aulas/Aula3/Aula3.ml" 55 1456 1467 "LAP_aulas/Aula3/Aula3.ml" 55 1456 1473
type(
  int tree
)
ident(
  int_ref myTree "LAP_aulas/Aula3/Aula3.ml" 7 173 177 "LAP_aulas/Aula3/Aula3.ml" 7 173 183
)
"LAP_aulas/Aula3/Aula3.ml" 55 1456 1456 "LAP_aulas/Aula3/Aula3.ml" 55 1456 1473
call(
  stack
)
type(
  int list
)
"LAP_aulas/Aula3/Aula3.ml" 56 1477 1477 "LAP_aulas/Aula3/Aula3.ml" 56 1477 1487
type(
  int tree -> int list
)
ident(
  int_ref treeToList "LAP_aulas/Aula3/Aula3.ml" 49 1333 1341 "LAP_aulas/Aula3/Aula3.ml" 49 1333 1351
)
"LAP_aulas/Aula3/Aula3.ml" 56 1477 1488 "LAP_aulas/Aula3/Aula3.ml" 56 1477 1493
type(
  int tree
)
ident(
  int_ref treeA "LAP_aulas/Aula3/Aula3.ml" 13 383 387 "LAP_aulas/Aula3/Aula3.ml" 13 383 392
)
"LAP_aulas/Aula3/Aula3.ml" 56 1477 1477 "LAP_aulas/Aula3/Aula3.ml" 56 1477 1493
call(
  stack
)
type(
  int list
)
"LAP_aulas/Aula3/Aula3.ml" 60 1552 1560 "LAP_aulas/Aula3/Aula3.ml" 60 1552 1566
type(
  'a tree -> int
)
ident(
  def height "LAP_aulas/Aula3/Aula3.ml" 60 1552 1552 --
)
"LAP_aulas/Aula3/Aula3.ml" 60 1552 1567 "LAP_aulas/Aula3/Aula3.ml" 60 1552 1568
type(
  'a tree
)
ident(
  def t "LAP_aulas/Aula3/Aula3.ml" 61 1571 1575 "LAP_aulas/Aula3/Aula3.ml" 64 1626 1666
)
"LAP_aulas/Aula3/Aula3.ml" 61 1571 1581 "LAP_aulas/Aula3/Aula3.ml" 61 1571 1582
type(
  'a tree
)
ident(
  int_ref t "LAP_aulas/Aula3/Aula3.ml" 60 1552 1567 "LAP_aulas/Aula3/Aula3.ml" 60 1552 1568
)
"LAP_aulas/Aula3/Aula3.ml" 62 1588 1595 "LAP_aulas/Aula3/Aula3.ml" 62 1588 1598
type(
  'a tree
)
"LAP_aulas/Aula3/Aula3.ml" 62 1588 1602 "LAP_aulas/Aula3/Aula3.ml" 62 1588 1603
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 63 1604 1616 "LAP_aulas/Aula3/Aula3.ml" 63 1604 1617
type(
  'a
)
ident(
  def x "LAP_aulas/Aula3/Aula3.ml" 64 1626 1637 "LAP_aulas/Aula3/Aula3.ml" 64 1626 1666
)
"LAP_aulas/Aula3/Aula3.ml" 63 1604 1618 "LAP_aulas/Aula3/Aula3.ml" 63 1604 1619
type(
  'a tree
)
ident(
  def l "LAP_aulas/Aula3/Aula3.ml" 64 1626 1637 "LAP_aulas/Aula3/Aula3.ml" 64 1626 1666
)
"LAP_aulas/Aula3/Aula3.ml" 63 1604 1620 "LAP_aulas/Aula3/Aula3.ml" 63 1604 1621
type(
  'a tree
)
ident(
  def r "LAP_aulas/Aula3/Aula3.ml" 64 1626 1637 "LAP_aulas/Aula3/Aula3.ml" 64 1626 1666
)
"LAP_aulas/Aula3/Aula3.ml" 63 1604 1611 "LAP_aulas/Aula3/Aula3.ml" 63 1604 1622
type(
  'a tree
)
"LAP_aulas/Aula3/Aula3.ml" 64 1626 1637 "LAP_aulas/Aula3/Aula3.ml" 64 1626 1638
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 64 1626 1639 "LAP_aulas/Aula3/Aula3.ml" 64 1626 1640
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.+
)
"LAP_aulas/Aula3/Aula3.ml" 64 1626 1641 "LAP_aulas/Aula3/Aula3.ml" 64 1626 1644
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.max
)
"LAP_aulas/Aula3/Aula3.ml" 64 1626 1646 "LAP_aulas/Aula3/Aula3.ml" 64 1626 1652
type(
  'a tree -> int
)
ident(
  int_ref height "LAP_aulas/Aula3/Aula3.ml" 60 1552 1560 "LAP_aulas/Aula3/Aula3.ml" 60 1552 1566
)
"LAP_aulas/Aula3/Aula3.ml" 64 1626 1653 "LAP_aulas/Aula3/Aula3.ml" 64 1626 1654
type(
  'a tree
)
ident(
  int_ref l "LAP_aulas/Aula3/Aula3.ml" 63 1604 1618 "LAP_aulas/Aula3/Aula3.ml" 63 1604 1619
)
"LAP_aulas/Aula3/Aula3.ml" 64 1626 1645 "LAP_aulas/Aula3/Aula3.ml" 64 1626 1655
call(
  stack
)
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 64 1626 1657 "LAP_aulas/Aula3/Aula3.ml" 64 1626 1663
type(
  'a tree -> int
)
ident(
  int_ref height "LAP_aulas/Aula3/Aula3.ml" 60 1552 1560 "LAP_aulas/Aula3/Aula3.ml" 60 1552 1566
)
"LAP_aulas/Aula3/Aula3.ml" 64 1626 1664 "LAP_aulas/Aula3/Aula3.ml" 64 1626 1665
type(
  'a tree
)
ident(
  int_ref r "LAP_aulas/Aula3/Aula3.ml" 63 1604 1620 "LAP_aulas/Aula3/Aula3.ml" 63 1604 1621
)
"LAP_aulas/Aula3/Aula3.ml" 64 1626 1656 "LAP_aulas/Aula3/Aula3.ml" 64 1626 1666
call(
  stack
)
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 64 1626 1641 "LAP_aulas/Aula3/Aula3.ml" 64 1626 1666
call(
  stack
)
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 64 1626 1637 "LAP_aulas/Aula3/Aula3.ml" 64 1626 1666
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 61 1571 1575 "LAP_aulas/Aula3/Aula3.ml" 64 1626 1666
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 67 1690 1690 "LAP_aulas/Aula3/Aula3.ml" 67 1690 1696
type(
  int tree -> int
)
ident(
  int_ref height "LAP_aulas/Aula3/Aula3.ml" 60 1552 1560 "LAP_aulas/Aula3/Aula3.ml" 60 1552 1566
)
"LAP_aulas/Aula3/Aula3.ml" 67 1690 1697 "LAP_aulas/Aula3/Aula3.ml" 67 1690 1703
type(
  int tree
)
ident(
  int_ref myTree "LAP_aulas/Aula3/Aula3.ml" 7 173 177 "LAP_aulas/Aula3/Aula3.ml" 7 173 183
)
"LAP_aulas/Aula3/Aula3.ml" 67 1690 1690 "LAP_aulas/Aula3/Aula3.ml" 67 1690 1703
call(
  stack
)
type(
  int
)
"LAP_aulas/Aula3/Aula3.ml" 68 1707 1707 "LAP_aulas/Aula3/Aula3.ml" 68 1707 1713
type(
  int tree -> int
)
ident(
  int_ref height "LAP_aulas/Aula3/Aula3.ml" 60 1552 1560 "LAP_aulas/Aula3/Aula3.ml" 60 1552 1566
)
"LAP_aulas/Aula3/Aula3.ml" 68 1707 1714 "LAP_aulas/Aula3/Aula3.ml" 68 1707 1719
type(
  int tree
)
ident(
  int_ref treeA "LAP_aulas/Aula3/Aula3.ml" 13 383 387 "LAP_aulas/Aula3/Aula3.ml" 13 383 392
)
"LAP_aulas/Aula3/Aula3.ml" 68 1707 1707 "LAP_aulas/Aula3/Aula3.ml" 68 1707 1719
call(
  stack
)
type(
  int
)