"src/xmpp_UTF8.ml" 5 57 61 "src/xmpp_UTF8.ml" 5 57 71
type(
  int -> int
)
ident(
  def utf8_width "src/xmpp_UTF8.ml" 12 211 211 "src/xmpp_UTF8.ml" 0 0 -1
)
"src/xmpp_UTF8.ml" 5 57 72 "src/xmpp_UTF8.ml" 5 57 73
type(
  int
)
ident(
  def u "src/xmpp_UTF8.ml" 6 76 78 "src/xmpp_UTF8.ml" 10 183 209
)
"src/xmpp_UTF8.ml" 6 76 81 "src/xmpp_UTF8.ml" 6 76 82
type(
  int
)
ident(
  int_ref u "src/xmpp_UTF8.ml" 5 57 72 "src/xmpp_UTF8.ml" 5 57 73
)
"src/xmpp_UTF8.ml" 6 76 83 "src/xmpp_UTF8.ml" 6 76 84
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( < ) "stdlib.mli" 135 5721 5721 "stdlib.mli" 135 5721 5768
)
"src/xmpp_UTF8.ml" 6 76 85 "src/xmpp_UTF8.ml" 6 76 89
type(
  int
)
"src/xmpp_UTF8.ml" 6 76 81 "src/xmpp_UTF8.ml" 6 76 89
type(
  bool
)
"src/xmpp_UTF8.ml" 6 76 95 "src/xmpp_UTF8.ml" 6 76 96
type(
  int
)
"src/xmpp_UTF8.ml" 7 97 107 "src/xmpp_UTF8.ml" 7 97 108
type(
  int
)
ident(
  int_ref u "src/xmpp_UTF8.ml" 5 57 72 "src/xmpp_UTF8.ml" 5 57 73
)
"src/xmpp_UTF8.ml" 7 97 109 "src/xmpp_UTF8.ml" 7 97 110
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( < ) "stdlib.mli" 135 5721 5721 "stdlib.mli" 135 5721 5768
)
"src/xmpp_UTF8.ml" 7 97 111 "src/xmpp_UTF8.ml" 7 97 116
type(
  int
)
"src/xmpp_UTF8.ml" 7 97 107 "src/xmpp_UTF8.ml" 7 97 116
type(
  bool
)
"src/xmpp_UTF8.ml" 7 97 122 "src/xmpp_UTF8.ml" 7 97 123
type(
  int
)
"src/xmpp_UTF8.ml" 8 124 134 "src/xmpp_UTF8.ml" 8 124 135
type(
  int
)
ident(
  int_ref u "src/xmpp_UTF8.ml" 5 57 72 "src/xmpp_UTF8.ml" 5 57 73
)
"src/xmpp_UTF8.ml" 8 124 136 "src/xmpp_UTF8.ml" 8 124 137
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( < ) "stdlib.mli" 135 5721 5721 "stdlib.mli" 135 5721 5768
)
"src/xmpp_UTF8.ml" 8 124 138 "src/xmpp_UTF8.ml" 8 124 145
type(
  int
)
"src/xmpp_UTF8.ml" 8 124 134 "src/xmpp_UTF8.ml" 8 124 145
type(
  bool
)
"src/xmpp_UTF8.ml" 8 124 151 "src/xmpp_UTF8.ml" 8 124 152
type(
  int
)
"src/xmpp_UTF8.ml" 9 153 163 "src/xmpp_UTF8.ml" 9 153 164
type(
  int
)
ident(
  int_ref u "src/xmpp_UTF8.ml" 5 57 72 "src/xmpp_UTF8.ml" 5 57 73
)
"src/xmpp_UTF8.ml" 9 153 165 "src/xmpp_UTF8.ml" 9 153 166
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( < ) "stdlib.mli" 135 5721 5721 "stdlib.mli" 135 5721 5768
)
"src/xmpp_UTF8.ml" 9 153 167 "src/xmpp_UTF8.ml" 9 153 175
type(
  int
)
"src/xmpp_UTF8.ml" 9 153 163 "src/xmpp_UTF8.ml" 9 153 175
type(
  bool
)
"src/xmpp_UTF8.ml" 9 153 181 "src/xmpp_UTF8.ml" 9 153 182
type(
  int
)
"src/xmpp_UTF8.ml" 10 183 190 "src/xmpp_UTF8.ml" 10 183 195
type(
  exn -> int
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/xmpp_UTF8.ml" 10 183 196 "src/xmpp_UTF8.ml" 10 183 209
type(
  exn
)
"src/xmpp_UTF8.ml" 10 183 190 "src/xmpp_UTF8.ml" 10 183 209
type(
  int
)
"src/xmpp_UTF8.ml" 9 153 160 "src/xmpp_UTF8.ml" 10 183 209
type(
  int
)
"src/xmpp_UTF8.ml" 8 124 131 "src/xmpp_UTF8.ml" 10 183 209
type(
  int
)
"src/xmpp_UTF8.ml" 7 97 104 "src/xmpp_UTF8.ml" 10 183 209
type(
  int
)
"src/xmpp_UTF8.ml" 6 76 78 "src/xmpp_UTF8.ml" 10 183 209
type(
  int
)
"src/xmpp_UTF8.ml" 12 211 215 "src/xmpp_UTF8.ml" 12 211 228
type(
  char -> int
)
ident(
  def width_of_utf8 "src/xmpp_UTF8.ml" 19 349 349 "src/xmpp_UTF8.ml" 0 0 -1
)
"src/xmpp_UTF8.ml" 13 240 244 "src/xmpp_UTF8.ml" 13 240 258
type(
  char
)
"src/xmpp_UTF8.ml" 13 240 262 "src/xmpp_UTF8.ml" 13 240 263
type(
  int
)
"src/xmpp_UTF8.ml" 14 264 268 "src/xmpp_UTF8.ml" 14 264 282
type(
  char
)
"src/xmpp_UTF8.ml" 14 264 286 "src/xmpp_UTF8.ml" 14 264 287
type(
  int
)
"src/xmpp_UTF8.ml" 15 288 292 "src/xmpp_UTF8.ml" 15 288 306
type(
  char
)
"src/xmpp_UTF8.ml" 15 288 310 "src/xmpp_UTF8.ml" 15 288 311
type(
  int
)
"src/xmpp_UTF8.ml" 16 312 316 "src/xmpp_UTF8.ml" 16 312 330
type(
  char
)
"src/xmpp_UTF8.ml" 16 312 334 "src/xmpp_UTF8.ml" 16 312 335
type(
  int
)
"src/xmpp_UTF8.ml" 17 336 340 "src/xmpp_UTF8.ml" 17 336 341
type(
  char
)
"src/xmpp_UTF8.ml" 17 336 345 "src/xmpp_UTF8.ml" 17 336 347
type(
  int
)
"src/xmpp_UTF8.ml" 12 211 231 "src/xmpp_UTF8.ml" 17 336 347
type(
  char -> int
)
"src/xmpp_UTF8.ml" 19 349 353 "src/xmpp_UTF8.ml" 19 349 364
type(
  string -> int -> int
)
ident(
  def decode_utf8 "src/xmpp_UTF8.ml" 64 1956 1956 "src/xmpp_UTF8.ml" 0 0 -1
)
"src/xmpp_UTF8.ml" 19 349 365 "src/xmpp_UTF8.ml" 19 349 368
type(
  string
)
ident(
  def str "src/xmpp_UTF8.ml" 19 349 369 "src/xmpp_UTF8.ml" 62 1915 1942
)
"src/xmpp_UTF8.ml" 19 349 369 "src/xmpp_UTF8.ml" 19 349 370
type(
  int
)
ident(
  def i "src/xmpp_UTF8.ml" 20 373 375 "src/xmpp_UTF8.ml" 62 1915 1942
)
"src/xmpp_UTF8.ml" 20 373 379 "src/xmpp_UTF8.ml" 20 373 382
type(
  char
)
ident(
  def ch1 "src/xmpp_UTF8.ml" 21 412 416 "src/xmpp_UTF8.ml" 62 1915 1942
)
"src/xmpp_UTF8.ml" 20 373 385 "src/xmpp_UTF8.ml" 20 373 402
type(
  string -> int -> char
)
ident(
  int_ref Stdlib.String.unsafe_get "string.mli" 607 20556 20556 "string.mli" 607 20556 20622
)
"src/xmpp_UTF8.ml" 20 373 403 "src/xmpp_UTF8.ml" 20 373 406
type(
  string
)
ident(
  int_ref str "src/xmpp_UTF8.ml" 19 349 365 "src/xmpp_UTF8.ml" 19 349 368
)
"src/xmpp_UTF8.ml" 20 373 407 "src/xmpp_UTF8.ml" 20 373 408
type(
  int
)
ident(
  int_ref i "src/xmpp_UTF8.ml" 19 349 369 "src/xmpp_UTF8.ml" 19 349 370
)
"src/xmpp_UTF8.ml" 20 373 385 "src/xmpp_UTF8.ml" 20 373 408
type(
  char
)
"src/xmpp_UTF8.ml" 21 412 422 "src/xmpp_UTF8.ml" 21 412 425
type(
  char
)
ident(
  int_ref ch1 "src/xmpp_UTF8.ml" 20 373 379 "src/xmpp_UTF8.ml" 20 373 382
)
"src/xmpp_UTF8.ml" 22 431 439 "src/xmpp_UTF8.ml" 22 431 453
type(
  char
)
"src/xmpp_UTF8.ml" 22 431 457 "src/xmpp_UTF8.ml" 22 431 466
type(
  char -> int
)
ident(
  int_ref Stdlib.Char.code "char.mli" 18 1109 1109 "char.mli" 18 1109 1150
)
"src/xmpp_UTF8.ml" 22 431 467 "src/xmpp_UTF8.ml" 22 431 470
type(
  char
)
ident(
  int_ref ch1 "src/xmpp_UTF8.ml" 20 373 379 "src/xmpp_UTF8.ml" 20 373 382
)
"src/xmpp_UTF8.ml" 22 431 457 "src/xmpp_UTF8.ml" 22 431 470
type(
  int
)
"src/xmpp_UTF8.ml" 23 471 479 "src/xmpp_UTF8.ml" 23 471 493
type(
  char
)
"src/xmpp_UTF8.ml" 24 497 509 "src/xmpp_UTF8.ml" 24 497 512
type(
  char
)
ident(
  def ch2 "src/xmpp_UTF8.ml" 25 546 554 "src/xmpp_UTF8.ml" 29 686 739
)
"src/xmpp_UTF8.ml" 24 497 515 "src/xmpp_UTF8.ml" 24 497 532
type(
  string -> int -> char
)
ident(
  int_ref Stdlib.String.unsafe_get "string.mli" 607 20556 20556 "string.mli" 607 20556 20622
)
"src/xmpp_UTF8.ml" 24 497 533 "src/xmpp_UTF8.ml" 24 497 536
type(
  string
)
ident(
  int_ref str "src/xmpp_UTF8.ml" 19 349 365 "src/xmpp_UTF8.ml" 19 349 368
)
"src/xmpp_UTF8.ml" 24 497 538 "src/xmpp_UTF8.ml" 24 497 539
type(
  int
)
ident(
  int_ref i "src/xmpp_UTF8.ml" 19 349 369 "src/xmpp_UTF8.ml" 19 349 370
)
"src/xmpp_UTF8.ml" 24 497 539 "src/xmpp_UTF8.ml" 24 497 540
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/xmpp_UTF8.ml" 24 497 540 "src/xmpp_UTF8.ml" 24 497 541
type(
  int
)
"src/xmpp_UTF8.ml" 24 497 537 "src/xmpp_UTF8.ml" 24 497 542
type(
  int
)
"src/xmpp_UTF8.ml" 24 497 515 "src/xmpp_UTF8.ml" 24 497 542
type(
  char
)
"src/xmpp_UTF8.ml" 25 546 558 "src/xmpp_UTF8.ml" 25 546 560
type(
  int
)
ident(
  def n1 "src/xmpp_UTF8.ml" 26 580 588 "src/xmpp_UTF8.ml" 29 686 739
)
"src/xmpp_UTF8.ml" 25 546 563 "src/xmpp_UTF8.ml" 25 546 572
type(
  char -> int
)
ident(
  int_ref Stdlib.Char.code "char.mli" 18 1109 1109 "char.mli" 18 1109 1150
)
"src/xmpp_UTF8.ml" 25 546 573 "src/xmpp_UTF8.ml" 25 546 576
type(
  char
)
ident(
  int_ref ch1 "src/xmpp_UTF8.ml" 20 373 379 "src/xmpp_UTF8.ml" 20 373 382
)
"src/xmpp_UTF8.ml" 25 546 563 "src/xmpp_UTF8.ml" 25 546 576
type(
  int
)
"src/xmpp_UTF8.ml" 26 580 592 "src/xmpp_UTF8.ml" 26 580 594
type(
  int
)
ident(
  def n2 "src/xmpp_UTF8.ml" 27 614 624 "src/xmpp_UTF8.ml" 29 686 739
)
"src/xmpp_UTF8.ml" 26 580 597 "src/xmpp_UTF8.ml" 26 580 606
type(
  char -> int
)
ident(
  int_ref Stdlib.Char.code "char.mli" 18 1109 1109 "char.mli" 18 1109 1150
)
"src/xmpp_UTF8.ml" 26 580 607 "src/xmpp_UTF8.ml" 26 580 610
type(
  char
)
ident(
  int_ref ch2 "src/xmpp_UTF8.ml" 24 497 509 "src/xmpp_UTF8.ml" 24 497 512
)
"src/xmpp_UTF8.ml" 26 580 597 "src/xmpp_UTF8.ml" 26 580 610
type(
  int
)
"src/xmpp_UTF8.ml" 27 614 628 "src/xmpp_UTF8.ml" 27 614 630
type(
  int
)
ident(
  int_ref n2 "src/xmpp_UTF8.ml" 26 580 592 "src/xmpp_UTF8.ml" 26 580 594
)
"src/xmpp_UTF8.ml" 27 614 631 "src/xmpp_UTF8.ml" 27 614 634
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lsr ) "stdlib.mli" 422 16064 16064 "stdlib.mli" 422 16064 16112
)
"src/xmpp_UTF8.ml" 27 614 635 "src/xmpp_UTF8.ml" 27 614 636
type(
  int
)
"src/xmpp_UTF8.ml" 27 614 628 "src/xmpp_UTF8.ml" 27 614 636
type(
  int
)
"src/xmpp_UTF8.ml" 27 614 637 "src/xmpp_UTF8.ml" 27 614 639
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( != ) "stdlib.mli" 203 8696 8696 "stdlib.mli" 203 8696 8741
)
"src/xmpp_UTF8.ml" 27 614 640 "src/xmpp_UTF8.ml" 27 614 644
type(
  int
)
"src/xmpp_UTF8.ml" 27 614 627 "src/xmpp_UTF8.ml" 27 614 645
type(
  bool
)
"src/xmpp_UTF8.ml" 27 614 651 "src/xmpp_UTF8.ml" 27 614 656
type(
  exn -> int
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/xmpp_UTF8.ml" 27 614 657 "src/xmpp_UTF8.ml" 27 614 670
type(
  exn
)
"src/xmpp_UTF8.ml" 27 614 651 "src/xmpp_UTF8.ml" 27 614 670
type(
  int
)
"src/xmpp_UTF8.ml" 29 686 700 "src/xmpp_UTF8.ml" 29 686 702
type(
  int
)
ident(
  int_ref n1 "src/xmpp_UTF8.ml" 25 546 558 "src/xmpp_UTF8.ml" 25 546 560
)
"src/xmpp_UTF8.ml" 29 686 703 "src/xmpp_UTF8.ml" 29 686 707
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( land ) "stdlib.mli" 398 15293 15293 "stdlib.mli" 398 15293 15342
)
"src/xmpp_UTF8.ml" 29 686 708 "src/xmpp_UTF8.ml" 29 686 712
type(
  int
)
"src/xmpp_UTF8.ml" 29 686 699 "src/xmpp_UTF8.ml" 29 686 713
type(
  int
)
"src/xmpp_UTF8.ml" 29 686 714 "src/xmpp_UTF8.ml" 29 686 717
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lsl ) "stdlib.mli" 416 15820 15820 "stdlib.mli" 416 15820 15868
)
"src/xmpp_UTF8.ml" 29 686 718 "src/xmpp_UTF8.ml" 29 686 719
type(
  int
)
"src/xmpp_UTF8.ml" 29 686 698 "src/xmpp_UTF8.ml" 29 686 720
type(
  int
)
"src/xmpp_UTF8.ml" 29 686 721 "src/xmpp_UTF8.ml" 29 686 724
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lor ) "stdlib.mli" 403 15448 15448 "stdlib.mli" 403 15448 15495
)
"src/xmpp_UTF8.ml" 29 686 726 "src/xmpp_UTF8.ml" 29 686 728
type(
  int
)
ident(
  int_ref n2 "src/xmpp_UTF8.ml" 26 580 592 "src/xmpp_UTF8.ml" 26 580 594
)
"src/xmpp_UTF8.ml" 29 686 729 "src/xmpp_UTF8.ml" 29 686 733
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( land ) "stdlib.mli" 398 15293 15293 "stdlib.mli" 398 15293 15342
)
"src/xmpp_UTF8.ml" 29 686 734 "src/xmpp_UTF8.ml" 29 686 738
type(
  int
)
"src/xmpp_UTF8.ml" 29 686 725 "src/xmpp_UTF8.ml" 29 686 739
type(
  int
)
"src/xmpp_UTF8.ml" 29 686 698 "src/xmpp_UTF8.ml" 29 686 739
type(
  int
)
"src/xmpp_UTF8.ml" 27 614 624 "src/xmpp_UTF8.ml" 29 686 739
type(
  int
)
"src/xmpp_UTF8.ml" 26 580 588 "src/xmpp_UTF8.ml" 29 686 739
type(
  int
)
"src/xmpp_UTF8.ml" 25 546 554 "src/xmpp_UTF8.ml" 29 686 739
type(
  int
)
"src/xmpp_UTF8.ml" 24 497 505 "src/xmpp_UTF8.ml" 29 686 739
type(
  int
)
"src/xmpp_UTF8.ml" 30 740 748 "src/xmpp_UTF8.ml" 30 740 762
type(
  char
)
"src/xmpp_UTF8.ml" 31 766 778 "src/xmpp_UTF8.ml" 31 766 781
type(
  char
)
ident(
  def ch2 "src/xmpp_UTF8.ml" 32 815 823 "src/xmpp_UTF8.ml" 45 1300 1323
)
"src/xmpp_UTF8.ml" 31 766 784 "src/xmpp_UTF8.ml" 31 766 801
type(
  string -> int -> char
)
ident(
  int_ref Stdlib.String.unsafe_get "string.mli" 607 20556 20556 "string.mli" 607 20556 20622
)
"src/xmpp_UTF8.ml" 31 766 802 "src/xmpp_UTF8.ml" 31 766 805
type(
  string
)
ident(
  int_ref str "src/xmpp_UTF8.ml" 19 349 365 "src/xmpp_UTF8.ml" 19 349 368
)
"src/xmpp_UTF8.ml" 31 766 807 "src/xmpp_UTF8.ml" 31 766 808
type(
  int
)
ident(
  int_ref i "src/xmpp_UTF8.ml" 19 349 369 "src/xmpp_UTF8.ml" 19 349 370
)
"src/xmpp_UTF8.ml" 31 766 808 "src/xmpp_UTF8.ml" 31 766 809
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/xmpp_UTF8.ml" 31 766 809 "src/xmpp_UTF8.ml" 31 766 810
type(
  int
)
"src/xmpp_UTF8.ml" 31 766 806 "src/xmpp_UTF8.ml" 31 766 811
type(
  int
)
"src/xmpp_UTF8.ml" 31 766 784 "src/xmpp_UTF8.ml" 31 766 811
type(
  char
)
"src/xmpp_UTF8.ml" 32 815 827 "src/xmpp_UTF8.ml" 32 815 830
type(
  char
)
ident(
  def ch3 "src/xmpp_UTF8.ml" 33 864 872 "src/xmpp_UTF8.ml" 45 1300 1323
)
"src/xmpp_UTF8.ml" 32 815 833 "src/xmpp_UTF8.ml" 32 815 850
type(
  string -> int -> char
)
ident(
  int_ref Stdlib.String.unsafe_get "string.mli" 607 20556 20556 "string.mli" 607 20556 20622
)
"src/xmpp_UTF8.ml" 32 815 851 "src/xmpp_UTF8.ml" 32 815 854
type(
  string
)
ident(
  int_ref str "src/xmpp_UTF8.ml" 19 349 365 "src/xmpp_UTF8.ml" 19 349 368
)
"src/xmpp_UTF8.ml" 32 815 856 "src/xmpp_UTF8.ml" 32 815 857
type(
  int
)
ident(
  int_ref i "src/xmpp_UTF8.ml" 19 349 369 "src/xmpp_UTF8.ml" 19 349 370
)
"src/xmpp_UTF8.ml" 32 815 857 "src/xmpp_UTF8.ml" 32 815 858
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/xmpp_UTF8.ml" 32 815 858 "src/xmpp_UTF8.ml" 32 815 859
type(
  int
)
"src/xmpp_UTF8.ml" 32 815 855 "src/xmpp_UTF8.ml" 32 815 860
type(
  int
)
"src/xmpp_UTF8.ml" 32 815 833 "src/xmpp_UTF8.ml" 32 815 860
type(
  char
)
"src/xmpp_UTF8.ml" 33 864 876 "src/xmpp_UTF8.ml" 33 864 878
type(
  int
)
ident(
  def n1 "src/xmpp_UTF8.ml" 36 960 970 "src/xmpp_UTF8.ml" 45 1300 1323
)
"src/xmpp_UTF8.ml" 33 864 881 "src/xmpp_UTF8.ml" 33 864 890
type(
  char -> int
)
ident(
  int_ref Stdlib.Char.code "char.mli" 18 1109 1109 "char.mli" 18 1109 1150
)
"src/xmpp_UTF8.ml" 33 864 891 "src/xmpp_UTF8.ml" 33 864 894
type(
  char
)
ident(
  int_ref ch1 "src/xmpp_UTF8.ml" 20 373 379 "src/xmpp_UTF8.ml" 20 373 382
)
"src/xmpp_UTF8.ml" 33 864 881 "src/xmpp_UTF8.ml" 33 864 894
type(
  int
)
"src/xmpp_UTF8.ml" 34 895 907 "src/xmpp_UTF8.ml" 34 895 909
type(
  int
)
ident(
  def n2 "src/xmpp_UTF8.ml" 36 960 970 "src/xmpp_UTF8.ml" 45 1300 1323
)
"src/xmpp_UTF8.ml" 34 895 912 "src/xmpp_UTF8.ml" 34 895 921
type(
  char -> int
)
ident(
  int_ref Stdlib.Char.code "char.mli" 18 1109 1109 "char.mli" 18 1109 1150
)
"src/xmpp_UTF8.ml" 34 895 922 "src/xmpp_UTF8.ml" 34 895 925
type(
  char
)
ident(
  int_ref ch2 "src/xmpp_UTF8.ml" 31 766 778 "src/xmpp_UTF8.ml" 31 766 781
)
"src/xmpp_UTF8.ml" 34 895 912 "src/xmpp_UTF8.ml" 34 895 925
type(
  int
)
"src/xmpp_UTF8.ml" 35 926 938 "src/xmpp_UTF8.ml" 35 926 940
type(
  int
)
ident(
  def n3 "src/xmpp_UTF8.ml" 36 960 970 "src/xmpp_UTF8.ml" 45 1300 1323
)
"src/xmpp_UTF8.ml" 35 926 943 "src/xmpp_UTF8.ml" 35 926 952
type(
  char -> int
)
ident(
  int_ref Stdlib.Char.code "char.mli" 18 1109 1109 "char.mli" 18 1109 1150
)
"src/xmpp_UTF8.ml" 35 926 953 "src/xmpp_UTF8.ml" 35 926 956
type(
  char
)
ident(
  int_ref ch3 "src/xmpp_UTF8.ml" 32 815 827 "src/xmpp_UTF8.ml" 32 815 830
)
"src/xmpp_UTF8.ml" 35 926 943 "src/xmpp_UTF8.ml" 35 926 956
type(
  int
)
"src/xmpp_UTF8.ml" 36 960 974 "src/xmpp_UTF8.ml" 36 960 976
type(
  int
)
ident(
  int_ref n2 "src/xmpp_UTF8.ml" 34 895 907 "src/xmpp_UTF8.ml" 34 895 909
)
"src/xmpp_UTF8.ml" 36 960 977 "src/xmpp_UTF8.ml" 36 960 980
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lsr ) "stdlib.mli" 422 16064 16064 "stdlib.mli" 422 16064 16112
)
"src/xmpp_UTF8.ml" 36 960 981 "src/xmpp_UTF8.ml" 36 960 982
type(
  int
)
"src/xmpp_UTF8.ml" 36 960 974 "src/xmpp_UTF8.ml" 36 960 982
type(
  int
)
"src/xmpp_UTF8.ml" 36 960 983 "src/xmpp_UTF8.ml" 36 960 985
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( != ) "stdlib.mli" 203 8696 8696 "stdlib.mli" 203 8696 8741
)
"src/xmpp_UTF8.ml" 36 960 986 "src/xmpp_UTF8.ml" 36 960 990
type(
  int
)
"src/xmpp_UTF8.ml" 36 960 973 "src/xmpp_UTF8.ml" 36 960 991
type(
  bool
)
"src/xmpp_UTF8.ml" 36 960 992 "src/xmpp_UTF8.ml" 36 960 994
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( || ) "stdlib.mli" 227 9492 9492 "stdlib.mli" 227 9492 9542
)
"src/xmpp_UTF8.ml" 36 960 996 "src/xmpp_UTF8.ml" 36 960 998
type(
  int
)
ident(
  int_ref n3 "src/xmpp_UTF8.ml" 35 926 938 "src/xmpp_UTF8.ml" 35 926 940
)
"src/xmpp_UTF8.ml" 36 960 999 "src/xmpp_UTF8.ml" 36 960 1002
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lsr ) "stdlib.mli" 422 16064 16064 "stdlib.mli" 422 16064 16112
)
"src/xmpp_UTF8.ml" 36 960 1003 "src/xmpp_UTF8.ml" 36 960 1004
type(
  int
)
"src/xmpp_UTF8.ml" 36 960 996 "src/xmpp_UTF8.ml" 36 960 1004
type(
  int
)
"src/xmpp_UTF8.ml" 36 960 1005 "src/xmpp_UTF8.ml" 36 960 1007
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( != ) "stdlib.mli" 203 8696 8696 "stdlib.mli" 203 8696 8741
)
"src/xmpp_UTF8.ml" 36 960 1008 "src/xmpp_UTF8.ml" 36 960 1012
type(
  int
)
"src/xmpp_UTF8.ml" 36 960 995 "src/xmpp_UTF8.ml" 36 960 1013
type(
  bool
)
"src/xmpp_UTF8.ml" 36 960 973 "src/xmpp_UTF8.ml" 36 960 1013
type(
  bool
)
"src/xmpp_UTF8.ml" 37 1019 1031 "src/xmpp_UTF8.ml" 37 1019 1036
type(
  exn -> int
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/xmpp_UTF8.ml" 37 1019 1037 "src/xmpp_UTF8.ml" 37 1019 1050
type(
  exn
)
"src/xmpp_UTF8.ml" 37 1019 1031 "src/xmpp_UTF8.ml" 37 1019 1050
type(
  int
)
"src/xmpp_UTF8.ml" 39 1066 1082 "src/xmpp_UTF8.ml" 39 1066 1086
type(
  int
)
ident(
  def code "src/xmpp_UTF8.ml" 43 1205 1219 "src/xmpp_UTF8.ml" 45 1300 1323
)
"src/xmpp_UTF8.ml" 40 1090 1106 "src/xmpp_UTF8.ml" 40 1090 1108
type(
  int
)
ident(
  int_ref n1 "src/xmpp_UTF8.ml" 33 864 876 "src/xmpp_UTF8.ml" 33 864 878
)
"src/xmpp_UTF8.ml" 40 1090 1109 "src/xmpp_UTF8.ml" 40 1090 1113
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( land ) "stdlib.mli" 398 15293 15293 "stdlib.mli" 398 15293 15342
)
"src/xmpp_UTF8.ml" 40 1090 1114 "src/xmpp_UTF8.ml" 40 1090 1118
type(
  int
)
"src/xmpp_UTF8.ml" 40 1090 1105 "src/xmpp_UTF8.ml" 40 1090 1119
type(
  int
)
"src/xmpp_UTF8.ml" 40 1090 1120 "src/xmpp_UTF8.ml" 40 1090 1123
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lsl ) "stdlib.mli" 416 15820 15820 "stdlib.mli" 416 15820 15868
)
"src/xmpp_UTF8.ml" 40 1090 1124 "src/xmpp_UTF8.ml" 40 1090 1126
type(
  int
)
"src/xmpp_UTF8.ml" 40 1090 1104 "src/xmpp_UTF8.ml" 40 1090 1127
type(
  int
)
"src/xmpp_UTF8.ml" 40 1090 1128 "src/xmpp_UTF8.ml" 40 1090 1131
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lor ) "stdlib.mli" 403 15448 15448 "stdlib.mli" 403 15448 15495
)
"src/xmpp_UTF8.ml" 41 1132 1150 "src/xmpp_UTF8.ml" 41 1132 1152
type(
  int
)
ident(
  int_ref n2 "src/xmpp_UTF8.ml" 34 895 907 "src/xmpp_UTF8.ml" 34 895 909
)
"src/xmpp_UTF8.ml" 41 1132 1153 "src/xmpp_UTF8.ml" 41 1132 1157
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( land ) "stdlib.mli" 398 15293 15293 "stdlib.mli" 398 15293 15342
)
"src/xmpp_UTF8.ml" 41 1132 1158 "src/xmpp_UTF8.ml" 41 1132 1162
type(
  int
)
"src/xmpp_UTF8.ml" 41 1132 1149 "src/xmpp_UTF8.ml" 41 1132 1163
type(
  int
)
"src/xmpp_UTF8.ml" 41 1132 1164 "src/xmpp_UTF8.ml" 41 1132 1167
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lsl ) "stdlib.mli" 416 15820 15820 "stdlib.mli" 416 15820 15868
)
"src/xmpp_UTF8.ml" 41 1132 1168 "src/xmpp_UTF8.ml" 41 1132 1169
type(
  int
)
"src/xmpp_UTF8.ml" 41 1132 1148 "src/xmpp_UTF8.ml" 41 1132 1170
type(
  int
)
"src/xmpp_UTF8.ml" 40 1090 1104 "src/xmpp_UTF8.ml" 41 1132 1170
type(
  int
)
"src/xmpp_UTF8.ml" 41 1132 1171 "src/xmpp_UTF8.ml" 41 1132 1174
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lor ) "stdlib.mli" 403 15448 15448 "stdlib.mli" 403 15448 15495
)
"src/xmpp_UTF8.ml" 41 1132 1176 "src/xmpp_UTF8.ml" 41 1132 1178
type(
  int
)
ident(
  int_ref n3 "src/xmpp_UTF8.ml" 35 926 938 "src/xmpp_UTF8.ml" 35 926 940
)
"src/xmpp_UTF8.ml" 41 1132 1179 "src/xmpp_UTF8.ml" 41 1132 1183
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( land ) "stdlib.mli" 398 15293 15293 "stdlib.mli" 398 15293 15342
)
"src/xmpp_UTF8.ml" 41 1132 1184 "src/xmpp_UTF8.ml" 41 1132 1188
type(
  int
)
"src/xmpp_UTF8.ml" 41 1132 1175 "src/xmpp_UTF8.ml" 41 1132 1189
type(
  int
)
"src/xmpp_UTF8.ml" 40 1090 1104 "src/xmpp_UTF8.ml" 41 1132 1189
type(
  int
)
"src/xmpp_UTF8.ml" 43 1205 1223 "src/xmpp_UTF8.ml" 43 1205 1227
type(
  int
)
ident(
  int_ref code "src/xmpp_UTF8.ml" 39 1066 1082 "src/xmpp_UTF8.ml" 39 1066 1086
)
"src/xmpp_UTF8.ml" 43 1205 1228 "src/xmpp_UTF8.ml" 43 1205 1230
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( >= ) "stdlib.mli" 150 6190 6190 "stdlib.mli" 150 6190 6242
)
"src/xmpp_UTF8.ml" 43 1205 1231 "src/xmpp_UTF8.ml" 43 1205 1237
type(
  int
)
"src/xmpp_UTF8.ml" 43 1205 1222 "src/xmpp_UTF8.ml" 43 1205 1238
type(
  bool
)
"src/xmpp_UTF8.ml" 43 1205 1239 "src/xmpp_UTF8.ml" 43 1205 1241
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/xmpp_UTF8.ml" 43 1205 1243 "src/xmpp_UTF8.ml" 43 1205 1247
type(
  int
)
ident(
  int_ref code "src/xmpp_UTF8.ml" 39 1066 1082 "src/xmpp_UTF8.ml" 39 1066 1086
)
"src/xmpp_UTF8.ml" 43 1205 1248 "src/xmpp_UTF8.ml" 43 1205 1250
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( <= ) "stdlib.mli" 145 6033 6033 "stdlib.mli" 145 6033 6082
)
"src/xmpp_UTF8.ml" 43 1205 1251 "src/xmpp_UTF8.ml" 43 1205 1257
type(
  int
)
"src/xmpp_UTF8.ml" 43 1205 1242 "src/xmpp_UTF8.ml" 43 1205 1258
type(
  bool
)
"src/xmpp_UTF8.ml" 43 1205 1222 "src/xmpp_UTF8.ml" 43 1205 1258
type(
  bool
)
"src/xmpp_UTF8.ml" 44 1264 1280 "src/xmpp_UTF8.ml" 44 1264 1285
type(
  exn -> int
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/xmpp_UTF8.ml" 44 1264 1286 "src/xmpp_UTF8.ml" 44 1264 1299
type(
  exn
)
"src/xmpp_UTF8.ml" 44 1264 1280 "src/xmpp_UTF8.ml" 44 1264 1299
type(
  int
)
"src/xmpp_UTF8.ml" 45 1300 1319 "src/xmpp_UTF8.ml" 45 1300 1323
type(
  int
)
ident(
  int_ref code "src/xmpp_UTF8.ml" 39 1066 1082 "src/xmpp_UTF8.ml" 39 1066 1086
)
"src/xmpp_UTF8.ml" 43 1205 1219 "src/xmpp_UTF8.ml" 45 1300 1323
type(
  int
)
"src/xmpp_UTF8.ml" 39 1066 1078 "src/xmpp_UTF8.ml" 45 1300 1323
type(
  int
)
"src/xmpp_UTF8.ml" 36 960 970 "src/xmpp_UTF8.ml" 45 1300 1323
type(
  int
)
"src/xmpp_UTF8.ml" 33 864 872 "src/xmpp_UTF8.ml" 45 1300 1323
type(
  int
)
"src/xmpp_UTF8.ml" 32 815 823 "src/xmpp_UTF8.ml" 45 1300 1323
type(
  int
)
"src/xmpp_UTF8.ml" 31 766 774 "src/xmpp_UTF8.ml" 45 1300 1323
type(
  int
)
"src/xmpp_UTF8.ml" 46 1324 1332 "src/xmpp_UTF8.ml" 46 1324 1346
type(
  char
)
"src/xmpp_UTF8.ml" 47 1350 1362 "src/xmpp_UTF8.ml" 47 1350 1365
type(
  char
)
ident(
  def ch2 "src/xmpp_UTF8.ml" 48 1399 1407 "src/xmpp_UTF8.ml" 60 1846 1901
)
"src/xmpp_UTF8.ml" 47 1350 1368 "src/xmpp_UTF8.ml" 47 1350 1385
type(
  string -> int -> char
)
ident(
  int_ref Stdlib.String.unsafe_get "string.mli" 607 20556 20556 "string.mli" 607 20556 20622
)
"src/xmpp_UTF8.ml" 47 1350 1386 "src/xmpp_UTF8.ml" 47 1350 1389
type(
  string
)
ident(
  int_ref str "src/xmpp_UTF8.ml" 19 349 365 "src/xmpp_UTF8.ml" 19 349 368
)
"src/xmpp_UTF8.ml" 47 1350 1391 "src/xmpp_UTF8.ml" 47 1350 1392
type(
  int
)
ident(
  int_ref i "src/xmpp_UTF8.ml" 19 349 369 "src/xmpp_UTF8.ml" 19 349 370
)
"src/xmpp_UTF8.ml" 47 1350 1392 "src/xmpp_UTF8.ml" 47 1350 1393
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/xmpp_UTF8.ml" 47 1350 1393 "src/xmpp_UTF8.ml" 47 1350 1394
type(
  int
)
"src/xmpp_UTF8.ml" 47 1350 1390 "src/xmpp_UTF8.ml" 47 1350 1395
type(
  int
)
"src/xmpp_UTF8.ml" 47 1350 1368 "src/xmpp_UTF8.ml" 47 1350 1395
type(
  char
)
"src/xmpp_UTF8.ml" 48 1399 1411 "src/xmpp_UTF8.ml" 48 1399 1414
type(
  char
)
ident(
  def ch3 "src/xmpp_UTF8.ml" 49 1448 1456 "src/xmpp_UTF8.ml" 60 1846 1901
)
"src/xmpp_UTF8.ml" 48 1399 1417 "src/xmpp_UTF8.ml" 48 1399 1434
type(
  string -> int -> char
)
ident(
  int_ref Stdlib.String.unsafe_get "string.mli" 607 20556 20556 "string.mli" 607 20556 20622
)
"src/xmpp_UTF8.ml" 48 1399 1435 "src/xmpp_UTF8.ml" 48 1399 1438
type(
  string
)
ident(
  int_ref str "src/xmpp_UTF8.ml" 19 349 365 "src/xmpp_UTF8.ml" 19 349 368
)
"src/xmpp_UTF8.ml" 48 1399 1440 "src/xmpp_UTF8.ml" 48 1399 1441
type(
  int
)
ident(
  int_ref i "src/xmpp_UTF8.ml" 19 349 369 "src/xmpp_UTF8.ml" 19 349 370
)
"src/xmpp_UTF8.ml" 48 1399 1441 "src/xmpp_UTF8.ml" 48 1399 1442
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/xmpp_UTF8.ml" 48 1399 1442 "src/xmpp_UTF8.ml" 48 1399 1443
type(
  int
)
"src/xmpp_UTF8.ml" 48 1399 1439 "src/xmpp_UTF8.ml" 48 1399 1444
type(
  int
)
"src/xmpp_UTF8.ml" 48 1399 1417 "src/xmpp_UTF8.ml" 48 1399 1444
type(
  char
)
"src/xmpp_UTF8.ml" 49 1448 1460 "src/xmpp_UTF8.ml" 49 1448 1463
type(
  char
)
ident(
  def ch4 "src/xmpp_UTF8.ml" 50 1497 1505 "src/xmpp_UTF8.ml" 60 1846 1901
)
"src/xmpp_UTF8.ml" 49 1448 1466 "src/xmpp_UTF8.ml" 49 1448 1483
type(
  string -> int -> char
)
ident(
  int_ref Stdlib.String.unsafe_get "string.mli" 607 20556 20556 "string.mli" 607 20556 20622
)
"src/xmpp_UTF8.ml" 49 1448 1484 "src/xmpp_UTF8.ml" 49 1448 1487
type(
  string
)
ident(
  int_ref str "src/xmpp_UTF8.ml" 19 349 365 "src/xmpp_UTF8.ml" 19 349 368
)
"src/xmpp_UTF8.ml" 49 1448 1489 "src/xmpp_UTF8.ml" 49 1448 1490
type(
  int
)
ident(
  int_ref i "src/xmpp_UTF8.ml" 19 349 369 "src/xmpp_UTF8.ml" 19 349 370
)
"src/xmpp_UTF8.ml" 49 1448 1490 "src/xmpp_UTF8.ml" 49 1448 1491
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/xmpp_UTF8.ml" 49 1448 1491 "src/xmpp_UTF8.ml" 49 1448 1492
type(
  int
)
"src/xmpp_UTF8.ml" 49 1448 1488 "src/xmpp_UTF8.ml" 49 1448 1493
type(
  int
)
"src/xmpp_UTF8.ml" 49 1448 1466 "src/xmpp_UTF8.ml" 49 1448 1493
type(
  char
)
"src/xmpp_UTF8.ml" 50 1497 1509 "src/xmpp_UTF8.ml" 50 1497 1511
type(
  int
)
ident(
  def n1 "src/xmpp_UTF8.ml" 54 1624 1634 "src/xmpp_UTF8.ml" 60 1846 1901
)
"src/xmpp_UTF8.ml" 50 1497 1514 "src/xmpp_UTF8.ml" 50 1497 1523
type(
  char -> int
)
ident(
  int_ref Stdlib.Char.code "char.mli" 18 1109 1109 "char.mli" 18 1109 1150
)
"src/xmpp_UTF8.ml" 50 1497 1524 "src/xmpp_UTF8.ml" 50 1497 1527
type(
  char
)
ident(
  int_ref ch1 "src/xmpp_UTF8.ml" 20 373 379 "src/xmpp_UTF8.ml" 20 373 382
)
"src/xmpp_UTF8.ml" 50 1497 1514 "src/xmpp_UTF8.ml" 50 1497 1527
type(
  int
)
"src/xmpp_UTF8.ml" 51 1528 1540 "src/xmpp_UTF8.ml" 51 1528 1542
type(
  int
)
ident(
  def n2 "src/xmpp_UTF8.ml" 54 1624 1634 "src/xmpp_UTF8.ml" 60 1846 1901
)
"src/xmpp_UTF8.ml" 51 1528 1545 "src/xmpp_UTF8.ml" 51 1528 1554
type(
  char -> int
)
ident(
  int_ref Stdlib.Char.code "char.mli" 18 1109 1109 "char.mli" 18 1109 1150
)
"src/xmpp_UTF8.ml" 51 1528 1555 "src/xmpp_UTF8.ml" 51 1528 1558
type(
  char
)
ident(
  int_ref ch2 "src/xmpp_UTF8.ml" 47 1350 1362 "src/xmpp_UTF8.ml" 47 1350 1365
)
"src/xmpp_UTF8.ml" 51 1528 1545 "src/xmpp_UTF8.ml" 51 1528 1558
type(
  int
)
"src/xmpp_UTF8.ml" 52 1559 1571 "src/xmpp_UTF8.ml" 52 1559 1573
type(
  int
)
ident(
  def n3 "src/xmpp_UTF8.ml" 54 1624 1634 "src/xmpp_UTF8.ml" 60 1846 1901
)
"src/xmpp_UTF8.ml" 52 1559 1576 "src/xmpp_UTF8.ml" 52 1559 1585
type(
  char -> int
)
ident(
  int_ref Stdlib.Char.code "char.mli" 18 1109 1109 "char.mli" 18 1109 1150
)
"src/xmpp_UTF8.ml" 52 1559 1586 "src/xmpp_UTF8.ml" 52 1559 1589
type(
  char
)
ident(
  int_ref ch3 "src/xmpp_UTF8.ml" 48 1399 1411 "src/xmpp_UTF8.ml" 48 1399 1414
)
"src/xmpp_UTF8.ml" 52 1559 1576 "src/xmpp_UTF8.ml" 52 1559 1589
type(
  int
)
"src/xmpp_UTF8.ml" 53 1590 1602 "src/xmpp_UTF8.ml" 53 1590 1604
type(
  int
)
ident(
  def n4 "src/xmpp_UTF8.ml" 54 1624 1634 "src/xmpp_UTF8.ml" 60 1846 1901
)
"src/xmpp_UTF8.ml" 53 1590 1607 "src/xmpp_UTF8.ml" 53 1590 1616
type(
  char -> int
)
ident(
  int_ref Stdlib.Char.code "char.mli" 18 1109 1109 "char.mli" 18 1109 1150
)
"src/xmpp_UTF8.ml" 53 1590 1617 "src/xmpp_UTF8.ml" 53 1590 1620
type(
  char
)
ident(
  int_ref ch4 "src/xmpp_UTF8.ml" 49 1448 1460 "src/xmpp_UTF8.ml" 49 1448 1463
)
"src/xmpp_UTF8.ml" 53 1590 1607 "src/xmpp_UTF8.ml" 53 1590 1620
type(
  int
)
"src/xmpp_UTF8.ml" 54 1624 1638 "src/xmpp_UTF8.ml" 54 1624 1640
type(
  int
)
ident(
  int_ref n2 "src/xmpp_UTF8.ml" 51 1528 1540 "src/xmpp_UTF8.ml" 51 1528 1542
)
"src/xmpp_UTF8.ml" 54 1624 1641 "src/xmpp_UTF8.ml" 54 1624 1644
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lsr ) "stdlib.mli" 422 16064 16064 "stdlib.mli" 422 16064 16112
)
"src/xmpp_UTF8.ml" 54 1624 1645 "src/xmpp_UTF8.ml" 54 1624 1646
type(
  int
)
"src/xmpp_UTF8.ml" 54 1624 1638 "src/xmpp_UTF8.ml" 54 1624 1646
type(
  int
)
"src/xmpp_UTF8.ml" 54 1624 1647 "src/xmpp_UTF8.ml" 54 1624 1649
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( != ) "stdlib.mli" 203 8696 8696 "stdlib.mli" 203 8696 8741
)
"src/xmpp_UTF8.ml" 54 1624 1650 "src/xmpp_UTF8.ml" 54 1624 1654
type(
  int
)
"src/xmpp_UTF8.ml" 54 1624 1637 "src/xmpp_UTF8.ml" 54 1624 1655
type(
  bool
)
"src/xmpp_UTF8.ml" 54 1624 1656 "src/xmpp_UTF8.ml" 54 1624 1658
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( || ) "stdlib.mli" 227 9492 9492 "stdlib.mli" 227 9492 9542
)
"src/xmpp_UTF8.ml" 55 1659 1672 "src/xmpp_UTF8.ml" 55 1659 1674
type(
  int
)
ident(
  int_ref n3 "src/xmpp_UTF8.ml" 52 1559 1571 "src/xmpp_UTF8.ml" 52 1559 1573
)
"src/xmpp_UTF8.ml" 55 1659 1675 "src/xmpp_UTF8.ml" 55 1659 1678
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lsr ) "stdlib.mli" 422 16064 16064 "stdlib.mli" 422 16064 16112
)
"src/xmpp_UTF8.ml" 55 1659 1679 "src/xmpp_UTF8.ml" 55 1659 1680
type(
  int
)
"src/xmpp_UTF8.ml" 55 1659 1672 "src/xmpp_UTF8.ml" 55 1659 1680
type(
  int
)
"src/xmpp_UTF8.ml" 55 1659 1681 "src/xmpp_UTF8.ml" 55 1659 1683
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( != ) "stdlib.mli" 203 8696 8696 "stdlib.mli" 203 8696 8741
)
"src/xmpp_UTF8.ml" 55 1659 1684 "src/xmpp_UTF8.ml" 55 1659 1688
type(
  int
)
"src/xmpp_UTF8.ml" 55 1659 1671 "src/xmpp_UTF8.ml" 55 1659 1689
type(
  bool
)
"src/xmpp_UTF8.ml" 55 1659 1690 "src/xmpp_UTF8.ml" 55 1659 1692
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( || ) "stdlib.mli" 227 9492 9492 "stdlib.mli" 227 9492 9542
)
"src/xmpp_UTF8.ml" 55 1659 1694 "src/xmpp_UTF8.ml" 55 1659 1696
type(
  int
)
ident(
  int_ref n4 "src/xmpp_UTF8.ml" 53 1590 1602 "src/xmpp_UTF8.ml" 53 1590 1604
)
"src/xmpp_UTF8.ml" 55 1659 1697 "src/xmpp_UTF8.ml" 55 1659 1700
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lsr ) "stdlib.mli" 422 16064 16064 "stdlib.mli" 422 16064 16112
)
"src/xmpp_UTF8.ml" 55 1659 1701 "src/xmpp_UTF8.ml" 55 1659 1702
type(
  int
)
"src/xmpp_UTF8.ml" 55 1659 1694 "src/xmpp_UTF8.ml" 55 1659 1702
type(
  int
)
"src/xmpp_UTF8.ml" 55 1659 1703 "src/xmpp_UTF8.ml" 55 1659 1705
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( != ) "stdlib.mli" 203 8696 8696 "stdlib.mli" 203 8696 8741
)
"src/xmpp_UTF8.ml" 55 1659 1706 "src/xmpp_UTF8.ml" 55 1659 1710
type(
  int
)
"src/xmpp_UTF8.ml" 55 1659 1693 "src/xmpp_UTF8.ml" 55 1659 1711
type(
  bool
)
"src/xmpp_UTF8.ml" 55 1659 1671 "src/xmpp_UTF8.ml" 55 1659 1711
type(
  bool
)
"src/xmpp_UTF8.ml" 54 1624 1637 "src/xmpp_UTF8.ml" 55 1659 1711
type(
  bool
)
"src/xmpp_UTF8.ml" 56 1717 1729 "src/xmpp_UTF8.ml" 56 1717 1734
type(
  exn -> int
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/xmpp_UTF8.ml" 56 1717 1735 "src/xmpp_UTF8.ml" 56 1717 1748
type(
  exn
)
"src/xmpp_UTF8.ml" 56 1717 1729 "src/xmpp_UTF8.ml" 56 1717 1748
type(
  int
)
"src/xmpp_UTF8.ml" 58 1764 1778 "src/xmpp_UTF8.ml" 58 1764 1780
type(
  int
)
ident(
  int_ref n1 "src/xmpp_UTF8.ml" 50 1497 1509 "src/xmpp_UTF8.ml" 50 1497 1511
)
"src/xmpp_UTF8.ml" 58 1764 1781 "src/xmpp_UTF8.ml" 58 1764 1785
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( land ) "stdlib.mli" 398 15293 15293 "stdlib.mli" 398 15293 15342
)
"src/xmpp_UTF8.ml" 58 1764 1786 "src/xmpp_UTF8.ml" 58 1764 1790
type(
  int
)
"src/xmpp_UTF8.ml" 58 1764 1777 "src/xmpp_UTF8.ml" 58 1764 1791
type(
  int
)
"src/xmpp_UTF8.ml" 58 1764 1792 "src/xmpp_UTF8.ml" 58 1764 1795
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lsl ) "stdlib.mli" 416 15820 15820 "stdlib.mli" 416 15820 15868
)
"src/xmpp_UTF8.ml" 58 1764 1796 "src/xmpp_UTF8.ml" 58 1764 1798
type(
  int
)
"src/xmpp_UTF8.ml" 58 1764 1776 "src/xmpp_UTF8.ml" 58 1764 1799
type(
  int
)
"src/xmpp_UTF8.ml" 58 1764 1800 "src/xmpp_UTF8.ml" 58 1764 1803
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lor ) "stdlib.mli" 403 15448 15448 "stdlib.mli" 403 15448 15495
)
"src/xmpp_UTF8.ml" 59 1804 1820 "src/xmpp_UTF8.ml" 59 1804 1822
type(
  int
)
ident(
  int_ref n2 "src/xmpp_UTF8.ml" 51 1528 1540 "src/xmpp_UTF8.ml" 51 1528 1542
)
"src/xmpp_UTF8.ml" 59 1804 1823 "src/xmpp_UTF8.ml" 59 1804 1827
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( land ) "stdlib.mli" 398 15293 15293 "stdlib.mli" 398 15293 15342
)
"src/xmpp_UTF8.ml" 59 1804 1828 "src/xmpp_UTF8.ml" 59 1804 1832
type(
  int
)
"src/xmpp_UTF8.ml" 59 1804 1819 "src/xmpp_UTF8.ml" 59 1804 1833
type(
  int
)
"src/xmpp_UTF8.ml" 59 1804 1834 "src/xmpp_UTF8.ml" 59 1804 1837
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lsl ) "stdlib.mli" 416 15820 15820 "stdlib.mli" 416 15820 15868
)
"src/xmpp_UTF8.ml" 59 1804 1838 "src/xmpp_UTF8.ml" 59 1804 1840
type(
  int
)
"src/xmpp_UTF8.ml" 59 1804 1818 "src/xmpp_UTF8.ml" 59 1804 1841
type(
  int
)
"src/xmpp_UTF8.ml" 58 1764 1776 "src/xmpp_UTF8.ml" 59 1804 1841
type(
  int
)
"src/xmpp_UTF8.ml" 59 1804 1842 "src/xmpp_UTF8.ml" 59 1804 1845
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lor ) "stdlib.mli" 403 15448 15448 "stdlib.mli" 403 15448 15495
)
"src/xmpp_UTF8.ml" 60 1846 1862 "src/xmpp_UTF8.ml" 60 1846 1864
type(
  int
)
ident(
  int_ref n3 "src/xmpp_UTF8.ml" 52 1559 1571 "src/xmpp_UTF8.ml" 52 1559 1573
)
"src/xmpp_UTF8.ml" 60 1846 1865 "src/xmpp_UTF8.ml" 60 1846 1869
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( land ) "stdlib.mli" 398 15293 15293 "stdlib.mli" 398 15293 15342
)
"src/xmpp_UTF8.ml" 60 1846 1870 "src/xmpp_UTF8.ml" 60 1846 1874
type(
  int
)
"src/xmpp_UTF8.ml" 60 1846 1861 "src/xmpp_UTF8.ml" 60 1846 1875
type(
  int
)
"src/xmpp_UTF8.ml" 60 1846 1876 "src/xmpp_UTF8.ml" 60 1846 1879
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lsl ) "stdlib.mli" 416 15820 15820 "stdlib.mli" 416 15820 15868
)
"src/xmpp_UTF8.ml" 60 1846 1880 "src/xmpp_UTF8.ml" 60 1846 1881
type(
  int
)
"src/xmpp_UTF8.ml" 60 1846 1860 "src/xmpp_UTF8.ml" 60 1846 1882
type(
  int
)
"src/xmpp_UTF8.ml" 58 1764 1776 "src/xmpp_UTF8.ml" 60 1846 1882
type(
  int
)
"src/xmpp_UTF8.ml" 60 1846 1883 "src/xmpp_UTF8.ml" 60 1846 1886
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lor ) "stdlib.mli" 403 15448 15448 "stdlib.mli" 403 15448 15495
)
"src/xmpp_UTF8.ml" 60 1846 1888 "src/xmpp_UTF8.ml" 60 1846 1890
type(
  int
)
ident(
  int_ref n4 "src/xmpp_UTF8.ml" 53 1590 1602 "src/xmpp_UTF8.ml" 53 1590 1604
)
"src/xmpp_UTF8.ml" 60 1846 1891 "src/xmpp_UTF8.ml" 60 1846 1895
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( land ) "stdlib.mli" 398 15293 15293 "stdlib.mli" 398 15293 15342
)
"src/xmpp_UTF8.ml" 60 1846 1896 "src/xmpp_UTF8.ml" 60 1846 1900
type(
  int
)
"src/xmpp_UTF8.ml" 60 1846 1887 "src/xmpp_UTF8.ml" 60 1846 1901
type(
  int
)
"src/xmpp_UTF8.ml" 58 1764 1776 "src/xmpp_UTF8.ml" 60 1846 1901
type(
  int
)
"src/xmpp_UTF8.ml" 54 1624 1634 "src/xmpp_UTF8.ml" 60 1846 1901
type(
  int
)
"src/xmpp_UTF8.ml" 50 1497 1505 "src/xmpp_UTF8.ml" 60 1846 1901
type(
  int
)
"src/xmpp_UTF8.ml" 49 1448 1456 "src/xmpp_UTF8.ml" 60 1846 1901
type(
  int
)
"src/xmpp_UTF8.ml" 48 1399 1407 "src/xmpp_UTF8.ml" 60 1846 1901
type(
  int
)
"src/xmpp_UTF8.ml" 47 1350 1358 "src/xmpp_UTF8.ml" 60 1846 1901
type(
  int
)
"src/xmpp_UTF8.ml" 61 1902 1910 "src/xmpp_UTF8.ml" 61 1902 1911
type(
  char
)
type(
  char
)
"src/xmpp_UTF8.ml" 62 1915 1923 "src/xmpp_UTF8.ml" 62 1915 1928
type(
  exn -> int
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/xmpp_UTF8.ml" 62 1915 1929 "src/xmpp_UTF8.ml" 62 1915 1942
type(
  exn
)
"src/xmpp_UTF8.ml" 62 1915 1923 "src/xmpp_UTF8.ml" 62 1915 1942
type(
  int
)
"src/xmpp_UTF8.ml" 21 412 416 "src/xmpp_UTF8.ml" 62 1915 1942
type(
  int
)
"src/xmpp_UTF8.ml" 20 373 375 "src/xmpp_UTF8.ml" 62 1915 1942
type(
  int
)
"src/xmpp_UTF8.ml" 64 1956 1960 "src/xmpp_UTF8.ml" 64 1956 1974
type(
  int -> char list
)
ident(
  def encode_unicode "src/xmpp_UTF8.ml" 88 2632 2632 "src/xmpp_UTF8.ml" 0 0 -1
)
"src/xmpp_UTF8.ml" 64 1956 1975 "src/xmpp_UTF8.ml" 64 1956 1979
type(
  int
)
ident(
  def ucs4 "src/xmpp_UTF8.ml" 65 1982 1984 "src/xmpp_UTF8.ml" 86 2603 2630
)
"src/xmpp_UTF8.ml" 65 1982 1988 "src/xmpp_UTF8.ml" 65 1982 1993
type(
  int list
)
ident(
  def bytes "src/xmpp_UTF8.ml" 86 2603 2607 "src/xmpp_UTF8.ml" 86 2603 2630
)
"src/xmpp_UTF8.ml" 66 1997 2004 "src/xmpp_UTF8.ml" 66 1997 2008
type(
  int
)
ident(
  int_ref ucs4 "src/xmpp_UTF8.ml" 64 1956 1975 "src/xmpp_UTF8.ml" 64 1956 1979
)
"src/xmpp_UTF8.ml" 66 1997 2009 "src/xmpp_UTF8.ml" 66 1997 2010
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( < ) "stdlib.mli" 135 5721 5721 "stdlib.mli" 135 5721 5768
)
"src/xmpp_UTF8.ml" 66 1997 2011 "src/xmpp_UTF8.ml" 66 1997 2015
type(
  int
)
"src/xmpp_UTF8.ml" 66 1997 2004 "src/xmpp_UTF8.ml" 66 1997 2015
type(
  bool
)
"src/xmpp_UTF8.ml" 67 2021 2028 "src/xmpp_UTF8.ml" 67 2021 2032
type(
  int
)
ident(
  int_ref ucs4 "src/xmpp_UTF8.ml" 64 1956 1975 "src/xmpp_UTF8.ml" 64 1956 1979
)
"src/xmpp_UTF8.ml" 67 2021 2027 "src/xmpp_UTF8.ml" 67 2021 2033
type(
  int list
)
"src/xmpp_UTF8.ml" 68 2034 2046 "src/xmpp_UTF8.ml" 68 2034 2050
type(
  int
)
ident(
  int_ref ucs4 "src/xmpp_UTF8.ml" 64 1956 1975 "src/xmpp_UTF8.ml" 64 1956 1979
)
"src/xmpp_UTF8.ml" 68 2034 2051 "src/xmpp_UTF8.ml" 68 2034 2053
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( <= ) "stdlib.mli" 145 6033 6033 "stdlib.mli" 145 6033 6082
)
"src/xmpp_UTF8.ml" 68 2034 2054 "src/xmpp_UTF8.ml" 68 2034 2059
type(
  int
)
"src/xmpp_UTF8.ml" 68 2034 2046 "src/xmpp_UTF8.ml" 68 2034 2059
type(
  bool
)
"src/xmpp_UTF8.ml" 69 2065 2073 "src/xmpp_UTF8.ml" 69 2065 2077
type(
  int
)
"src/xmpp_UTF8.ml" 69 2065 2078 "src/xmpp_UTF8.ml" 69 2065 2081
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lor ) "stdlib.mli" 403 15448 15448 "stdlib.mli" 403 15448 15495
)
"src/xmpp_UTF8.ml" 69 2065 2083 "src/xmpp_UTF8.ml" 69 2065 2087
type(
  int
)
ident(
  int_ref ucs4 "src/xmpp_UTF8.ml" 64 1956 1975 "src/xmpp_UTF8.ml" 64 1956 1979
)
"src/xmpp_UTF8.ml" 69 2065 2088 "src/xmpp_UTF8.ml" 69 2065 2091
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lsr ) "stdlib.mli" 422 16064 16064 "stdlib.mli" 422 16064 16112
)
"src/xmpp_UTF8.ml" 69 2065 2092 "src/xmpp_UTF8.ml" 69 2065 2093
type(
  int
)
"src/xmpp_UTF8.ml" 69 2065 2082 "src/xmpp_UTF8.ml" 69 2065 2094
type(
  int
)
"src/xmpp_UTF8.ml" 69 2065 2072 "src/xmpp_UTF8.ml" 69 2065 2095
type(
  int
)
"src/xmpp_UTF8.ml" 69 2065 2098 "src/xmpp_UTF8.ml" 69 2065 2102
type(
  int
)
"src/xmpp_UTF8.ml" 69 2065 2103 "src/xmpp_UTF8.ml" 69 2065 2106
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lor ) "stdlib.mli" 403 15448 15448 "stdlib.mli" 403 15448 15495
)
"src/xmpp_UTF8.ml" 69 2065 2108 "src/xmpp_UTF8.ml" 69 2065 2112
type(
  int
)
ident(
  int_ref ucs4 "src/xmpp_UTF8.ml" 64 1956 1975 "src/xmpp_UTF8.ml" 64 1956 1979
)
"src/xmpp_UTF8.ml" 69 2065 2113 "src/xmpp_UTF8.ml" 69 2065 2117
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( land ) "stdlib.mli" 398 15293 15293 "stdlib.mli" 398 15293 15342
)
"src/xmpp_UTF8.ml" 69 2065 2118 "src/xmpp_UTF8.ml" 69 2065 2122
type(
  int
)
"src/xmpp_UTF8.ml" 69 2065 2107 "src/xmpp_UTF8.ml" 69 2065 2123
type(
  int
)
"src/xmpp_UTF8.ml" 69 2065 2097 "src/xmpp_UTF8.ml" 69 2065 2124
type(
  int
)
"src/xmpp_UTF8.ml" 69 2065 2071 "src/xmpp_UTF8.ml" 69 2065 2125
type(
  int list
)
"src/xmpp_UTF8.ml" 70 2126 2138 "src/xmpp_UTF8.ml" 70 2126 2142
type(
  int
)
ident(
  int_ref ucs4 "src/xmpp_UTF8.ml" 64 1956 1975 "src/xmpp_UTF8.ml" 64 1956 1979
)
"src/xmpp_UTF8.ml" 70 2126 2143 "src/xmpp_UTF8.ml" 70 2126 2145
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( <= ) "stdlib.mli" 145 6033 6033 "stdlib.mli" 145 6033 6082
)
"src/xmpp_UTF8.ml" 70 2126 2146 "src/xmpp_UTF8.ml" 70 2126 2152
type(
  int
)
"src/xmpp_UTF8.ml" 70 2126 2138 "src/xmpp_UTF8.ml" 70 2126 2152
type(
  bool
)
"src/xmpp_UTF8.ml" 71 2160 2170 "src/xmpp_UTF8.ml" 71 2160 2174
type(
  int
)
ident(
  int_ref ucs4 "src/xmpp_UTF8.ml" 64 1956 1975 "src/xmpp_UTF8.ml" 64 1956 1979
)
"src/xmpp_UTF8.ml" 71 2160 2175 "src/xmpp_UTF8.ml" 71 2160 2177
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( >= ) "stdlib.mli" 150 6190 6190 "stdlib.mli" 150 6190 6242
)
"src/xmpp_UTF8.ml" 71 2160 2178 "src/xmpp_UTF8.ml" 71 2160 2184
type(
  int
)
"src/xmpp_UTF8.ml" 71 2160 2170 "src/xmpp_UTF8.ml" 71 2160 2184
type(
  bool
)
"src/xmpp_UTF8.ml" 71 2160 2185 "src/xmpp_UTF8.ml" 71 2160 2186
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( & ) "stdlib.mli" 221 9260 9260 "stdlib.mli" 222 9311 9353
)
"src/xmpp_UTF8.ml" 71 2160 2187 "src/xmpp_UTF8.ml" 71 2160 2191
type(
  int
)
ident(
  int_ref ucs4 "src/xmpp_UTF8.ml" 64 1956 1975 "src/xmpp_UTF8.ml" 64 1956 1979
)
"src/xmpp_UTF8.ml" 71 2160 2192 "src/xmpp_UTF8.ml" 71 2160 2193
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( < ) "stdlib.mli" 135 5721 5721 "stdlib.mli" 135 5721 5768
)
"src/xmpp_UTF8.ml" 71 2160 2194 "src/xmpp_UTF8.ml" 71 2160 2200
type(
  int
)
"src/xmpp_UTF8.ml" 71 2160 2187 "src/xmpp_UTF8.ml" 71 2160 2200
type(
  bool
)
"src/xmpp_UTF8.ml" 71 2160 2169 "src/xmpp_UTF8.ml" 71 2160 2201
type(
  bool
)
"src/xmpp_UTF8.ml" 72 2208 2216 "src/xmpp_UTF8.ml" 72 2208 2221
type(
  exn -> unit
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/xmpp_UTF8.ml" 72 2208 2222 "src/xmpp_UTF8.ml" 72 2208 2238
type(
  exn
)
"src/xmpp_UTF8.ml" 72 2208 2216 "src/xmpp_UTF8.ml" 72 2208 2238
type(
  unit
)
"src/xmpp_UTF8.ml" 71 2160 2166 "src/xmpp_UTF8.ml" 72 2208 2238
type(
  unit
)
"src/xmpp_UTF8.ml" 73 2240 2248 "src/xmpp_UTF8.ml" 73 2240 2252
type(
  int
)
"src/xmpp_UTF8.ml" 73 2240 2253 "src/xmpp_UTF8.ml" 73 2240 2256
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lor ) "stdlib.mli" 403 15448 15448 "stdlib.mli" 403 15448 15495
)
"src/xmpp_UTF8.ml" 73 2240 2258 "src/xmpp_UTF8.ml" 73 2240 2262
type(
  int
)
ident(
  int_ref ucs4 "src/xmpp_UTF8.ml" 64 1956 1975 "src/xmpp_UTF8.ml" 64 1956 1979
)
"src/xmpp_UTF8.ml" 73 2240 2263 "src/xmpp_UTF8.ml" 73 2240 2266
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lsr ) "stdlib.mli" 422 16064 16064 "stdlib.mli" 422 16064 16112
)
"src/xmpp_UTF8.ml" 73 2240 2267 "src/xmpp_UTF8.ml" 73 2240 2269
type(
  int
)
"src/xmpp_UTF8.ml" 73 2240 2257 "src/xmpp_UTF8.ml" 73 2240 2270
type(
  int
)
"src/xmpp_UTF8.ml" 73 2240 2247 "src/xmpp_UTF8.ml" 73 2240 2271
type(
  int
)
"src/xmpp_UTF8.ml" 74 2273 2281 "src/xmpp_UTF8.ml" 74 2273 2285
type(
  int
)
"src/xmpp_UTF8.ml" 74 2273 2286 "src/xmpp_UTF8.ml" 74 2273 2289
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lor ) "stdlib.mli" 403 15448 15448 "stdlib.mli" 403 15448 15495
)
"src/xmpp_UTF8.ml" 74 2273 2292 "src/xmpp_UTF8.ml" 74 2273 2296
type(
  int
)
ident(
  int_ref ucs4 "src/xmpp_UTF8.ml" 64 1956 1975 "src/xmpp_UTF8.ml" 64 1956 1979
)
"src/xmpp_UTF8.ml" 74 2273 2297 "src/xmpp_UTF8.ml" 74 2273 2300
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lsr ) "stdlib.mli" 422 16064 16064 "stdlib.mli" 422 16064 16112
)
"src/xmpp_UTF8.ml" 74 2273 2301 "src/xmpp_UTF8.ml" 74 2273 2302
type(
  int
)
"src/xmpp_UTF8.ml" 74 2273 2291 "src/xmpp_UTF8.ml" 74 2273 2303
type(
  int
)
"src/xmpp_UTF8.ml" 74 2273 2304 "src/xmpp_UTF8.ml" 74 2273 2308
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( land ) "stdlib.mli" 398 15293 15293 "stdlib.mli" 398 15293 15342
)
"src/xmpp_UTF8.ml" 74 2273 2309 "src/xmpp_UTF8.ml" 74 2273 2313
type(
  int
)
"src/xmpp_UTF8.ml" 74 2273 2290 "src/xmpp_UTF8.ml" 74 2273 2314
type(
  int
)
"src/xmpp_UTF8.ml" 74 2273 2280 "src/xmpp_UTF8.ml" 74 2273 2315
type(
  int
)
"src/xmpp_UTF8.ml" 75 2317 2325 "src/xmpp_UTF8.ml" 75 2317 2329
type(
  int
)
"src/xmpp_UTF8.ml" 75 2317 2330 "src/xmpp_UTF8.ml" 75 2317 2333
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lor ) "stdlib.mli" 403 15448 15448 "stdlib.mli" 403 15448 15495
)
"src/xmpp_UTF8.ml" 75 2317 2335 "src/xmpp_UTF8.ml" 75 2317 2339
type(
  int
)
ident(
  int_ref ucs4 "src/xmpp_UTF8.ml" 64 1956 1975 "src/xmpp_UTF8.ml" 64 1956 1979
)
"src/xmpp_UTF8.ml" 75 2317 2340 "src/xmpp_UTF8.ml" 75 2317 2344
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( land ) "stdlib.mli" 398 15293 15293 "stdlib.mli" 398 15293 15342
)
"src/xmpp_UTF8.ml" 75 2317 2345 "src/xmpp_UTF8.ml" 75 2317 2349
type(
  int
)
"src/xmpp_UTF8.ml" 75 2317 2334 "src/xmpp_UTF8.ml" 75 2317 2350
type(
  int
)
"src/xmpp_UTF8.ml" 75 2317 2324 "src/xmpp_UTF8.ml" 75 2317 2351
type(
  int
)
"src/xmpp_UTF8.ml" 73 2240 2246 "src/xmpp_UTF8.ml" 76 2352 2359
type(
  int list
)
"src/xmpp_UTF8.ml" 70 2126 2158 "src/xmpp_UTF8.ml" 77 2360 2365
type(
  int list
)
"src/xmpp_UTF8.ml" 78 2366 2378 "src/xmpp_UTF8.ml" 78 2366 2382
type(
  int
)
ident(
  int_ref ucs4 "src/xmpp_UTF8.ml" 64 1956 1975 "src/xmpp_UTF8.ml" 64 1956 1979
)
"src/xmpp_UTF8.ml" 78 2366 2383 "src/xmpp_UTF8.ml" 78 2366 2385
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( <= ) "stdlib.mli" 145 6033 6033 "stdlib.mli" 145 6033 6082
)
"src/xmpp_UTF8.ml" 78 2366 2386 "src/xmpp_UTF8.ml" 78 2366 2394
type(
  int
)
"src/xmpp_UTF8.ml" 78 2366 2378 "src/xmpp_UTF8.ml" 78 2366 2394
type(
  bool
)
"src/xmpp_UTF8.ml" 79 2400 2408 "src/xmpp_UTF8.ml" 79 2400 2412
type(
  int
)
"src/xmpp_UTF8.ml" 79 2400 2413 "src/xmpp_UTF8.ml" 79 2400 2416
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lor ) "stdlib.mli" 403 15448 15448 "stdlib.mli" 403 15448 15495
)
"src/xmpp_UTF8.ml" 79 2400 2418 "src/xmpp_UTF8.ml" 79 2400 2422
type(
  int
)
ident(
  int_ref ucs4 "src/xmpp_UTF8.ml" 64 1956 1975 "src/xmpp_UTF8.ml" 64 1956 1979
)
"src/xmpp_UTF8.ml" 79 2400 2423 "src/xmpp_UTF8.ml" 79 2400 2426
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lsr ) "stdlib.mli" 422 16064 16064 "stdlib.mli" 422 16064 16112
)
"src/xmpp_UTF8.ml" 79 2400 2427 "src/xmpp_UTF8.ml" 79 2400 2429
type(
  int
)
"src/xmpp_UTF8.ml" 79 2400 2417 "src/xmpp_UTF8.ml" 79 2400 2430
type(
  int
)
"src/xmpp_UTF8.ml" 79 2400 2407 "src/xmpp_UTF8.ml" 79 2400 2431
type(
  int
)
"src/xmpp_UTF8.ml" 80 2433 2441 "src/xmpp_UTF8.ml" 80 2433 2445
type(
  int
)
"src/xmpp_UTF8.ml" 80 2433 2446 "src/xmpp_UTF8.ml" 80 2433 2449
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lor ) "stdlib.mli" 403 15448 15448 "stdlib.mli" 403 15448 15495
)
"src/xmpp_UTF8.ml" 80 2433 2452 "src/xmpp_UTF8.ml" 80 2433 2456
type(
  int
)
ident(
  int_ref ucs4 "src/xmpp_UTF8.ml" 64 1956 1975 "src/xmpp_UTF8.ml" 64 1956 1979
)
"src/xmpp_UTF8.ml" 80 2433 2457 "src/xmpp_UTF8.ml" 80 2433 2460
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lsr ) "stdlib.mli" 422 16064 16064 "stdlib.mli" 422 16064 16112
)
"src/xmpp_UTF8.ml" 80 2433 2461 "src/xmpp_UTF8.ml" 80 2433 2463
type(
  int
)
"src/xmpp_UTF8.ml" 80 2433 2451 "src/xmpp_UTF8.ml" 80 2433 2464
type(
  int
)
"src/xmpp_UTF8.ml" 80 2433 2465 "src/xmpp_UTF8.ml" 80 2433 2469
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( land ) "stdlib.mli" 398 15293 15293 "stdlib.mli" 398 15293 15342
)
"src/xmpp_UTF8.ml" 80 2433 2470 "src/xmpp_UTF8.ml" 80 2433 2474
type(
  int
)
"src/xmpp_UTF8.ml" 80 2433 2450 "src/xmpp_UTF8.ml" 80 2433 2475
type(
  int
)
"src/xmpp_UTF8.ml" 80 2433 2440 "src/xmpp_UTF8.ml" 80 2433 2476
type(
  int
)
"src/xmpp_UTF8.ml" 81 2478 2486 "src/xmpp_UTF8.ml" 81 2478 2490
type(
  int
)
"src/xmpp_UTF8.ml" 81 2478 2491 "src/xmpp_UTF8.ml" 81 2478 2494
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lor ) "stdlib.mli" 403 15448 15448 "stdlib.mli" 403 15448 15495
)
"src/xmpp_UTF8.ml" 81 2478 2497 "src/xmpp_UTF8.ml" 81 2478 2501
type(
  int
)
ident(
  int_ref ucs4 "src/xmpp_UTF8.ml" 64 1956 1975 "src/xmpp_UTF8.ml" 64 1956 1979
)
"src/xmpp_UTF8.ml" 81 2478 2502 "src/xmpp_UTF8.ml" 81 2478 2505
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lsr ) "stdlib.mli" 422 16064 16064 "stdlib.mli" 422 16064 16112
)
"src/xmpp_UTF8.ml" 81 2478 2506 "src/xmpp_UTF8.ml" 81 2478 2507
type(
  int
)
"src/xmpp_UTF8.ml" 81 2478 2496 "src/xmpp_UTF8.ml" 81 2478 2508
type(
  int
)
"src/xmpp_UTF8.ml" 81 2478 2510 "src/xmpp_UTF8.ml" 81 2478 2514
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( land ) "stdlib.mli" 398 15293 15293 "stdlib.mli" 398 15293 15342
)
"src/xmpp_UTF8.ml" 81 2478 2515 "src/xmpp_UTF8.ml" 81 2478 2519
type(
  int
)
"src/xmpp_UTF8.ml" 81 2478 2495 "src/xmpp_UTF8.ml" 81 2478 2520
type(
  int
)
"src/xmpp_UTF8.ml" 81 2478 2485 "src/xmpp_UTF8.ml" 81 2478 2521
type(
  int
)
"src/xmpp_UTF8.ml" 82 2523 2531 "src/xmpp_UTF8.ml" 82 2523 2535
type(
  int
)
"src/xmpp_UTF8.ml" 82 2523 2536 "src/xmpp_UTF8.ml" 82 2523 2539
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( lor ) "stdlib.mli" 403 15448 15448 "stdlib.mli" 403 15448 15495
)
"src/xmpp_UTF8.ml" 82 2523 2541 "src/xmpp_UTF8.ml" 82 2523 2545
type(
  int
)
ident(
  int_ref ucs4 "src/xmpp_UTF8.ml" 64 1956 1975 "src/xmpp_UTF8.ml" 64 1956 1979
)
"src/xmpp_UTF8.ml" 82 2523 2546 "src/xmpp_UTF8.ml" 82 2523 2550
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( land ) "stdlib.mli" 398 15293 15293 "stdlib.mli" 398 15293 15342
)
"src/xmpp_UTF8.ml" 82 2523 2551 "src/xmpp_UTF8.ml" 82 2523 2555
type(
  int
)
"src/xmpp_UTF8.ml" 82 2523 2540 "src/xmpp_UTF8.ml" 82 2523 2556
type(
  int
)
"src/xmpp_UTF8.ml" 82 2523 2530 "src/xmpp_UTF8.ml" 82 2523 2557
type(
  int
)
"src/xmpp_UTF8.ml" 79 2400 2406 "src/xmpp_UTF8.ml" 82 2523 2558
type(
  int list
)
"src/xmpp_UTF8.ml" 84 2569 2575 "src/xmpp_UTF8.ml" 84 2569 2580
type(
  exn -> int list
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/xmpp_UTF8.ml" 84 2569 2581 "src/xmpp_UTF8.ml" 84 2569 2597
type(
  exn
)
"src/xmpp_UTF8.ml" 84 2569 2575 "src/xmpp_UTF8.ml" 84 2569 2597
type(
  int list
)
"src/xmpp_UTF8.ml" 78 2366 2375 "src/xmpp_UTF8.ml" 84 2569 2597
type(
  int list
)
"src/xmpp_UTF8.ml" 70 2126 2135 "src/xmpp_UTF8.ml" 84 2569 2597
type(
  int list
)
"src/xmpp_UTF8.ml" 68 2034 2043 "src/xmpp_UTF8.ml" 84 2569 2597
type(
  int list
)
"src/xmpp_UTF8.ml" 66 1997 2001 "src/xmpp_UTF8.ml" 84 2569 2597
type(
  int list
)
"src/xmpp_UTF8.ml" 86 2603 2607 "src/xmpp_UTF8.ml" 86 2603 2615
type(
  (int -> char) -> int list -> char list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/xmpp_UTF8.ml" 86 2603 2616 "src/xmpp_UTF8.ml" 86 2603 2624
type(
  int -> char
)
ident(
  int_ref Stdlib.Char.chr "char.mli" 21 1198 1198 "char.mli" 21 1198 1219
)
"src/xmpp_UTF8.ml" 86 2603 2625 "src/xmpp_UTF8.ml" 86 2603 2630
type(
  int list
)
ident(
  int_ref bytes "src/xmpp_UTF8.ml" 65 1982 1988 "src/xmpp_UTF8.ml" 65 1982 1993
)
"src/xmpp_UTF8.ml" 86 2603 2607 "src/xmpp_UTF8.ml" 86 2603 2630
type(
  char list
)
"src/xmpp_UTF8.ml" 65 1982 1984 "src/xmpp_UTF8.ml" 86 2603 2630
type(
  char list
)
"src/xmpp_UTF8.ml" 88 2632 2636 "src/xmpp_UTF8.ml" 88 2632 2642
type(
  string -> int list
)
ident(
  def decode "src/xmpp_UTF8.ml" 103 2974 2974 "src/xmpp_UTF8.ml" 0 0 -1
)
"src/xmpp_UTF8.ml" 88 2632 2643 "src/xmpp_UTF8.ml" 88 2632 2646
type(
  string
)
ident(
  def str "src/xmpp_UTF8.ml" 89 2649 2651 "src/xmpp_UTF8.ml" 100 2946 2965
)
"src/xmpp_UTF8.ml" 89 2649 2655 "src/xmpp_UTF8.ml" 89 2649 2658
type(
  int
)
ident(
  def len "src/xmpp_UTF8.ml" 90 2682 2684 "src/xmpp_UTF8.ml" 100 2946 2965
)
"src/xmpp_UTF8.ml" 89 2649 2661 "src/xmpp_UTF8.ml" 89 2649 2674
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/xmpp_UTF8.ml" 89 2649 2675 "src/xmpp_UTF8.ml" 89 2649 2678
type(
  string
)
ident(
  int_ref str "src/xmpp_UTF8.ml" 88 2632 2643 "src/xmpp_UTF8.ml" 88 2632 2646
)
"src/xmpp_UTF8.ml" 89 2649 2661 "src/xmpp_UTF8.ml" 89 2649 2678
type(
  int
)
"src/xmpp_UTF8.ml" 90 2682 2692 "src/xmpp_UTF8.ml" 90 2682 2702
type(
  int list -> int -> int list
)
ident(
  def aux_decode "src/xmpp_UTF8.ml" 90 2682 2684 "src/xmpp_UTF8.ml" 100 2946 2965
)
"src/xmpp_UTF8.ml" 90 2682 2703 "src/xmpp_UTF8.ml" 90 2682 2706
type(
  int list
)
ident(
  def acc "src/xmpp_UTF8.ml" 90 2682 2707 "src/xmpp_UTF8.ml" 98 2922 2940
)
"src/xmpp_UTF8.ml" 90 2682 2707 "src/xmpp_UTF8.ml" 90 2682 2708
type(
  int
)
ident(
  def i "src/xmpp_UTF8.ml" 91 2711 2715 "src/xmpp_UTF8.ml" 98 2922 2940
)
"src/xmpp_UTF8.ml" 91 2711 2718 "src/xmpp_UTF8.ml" 91 2711 2719
type(
  int
)
ident(
  int_ref i "src/xmpp_UTF8.ml" 90 2682 2707 "src/xmpp_UTF8.ml" 90 2682 2708
)
"src/xmpp_UTF8.ml" 91 2711 2720 "src/xmpp_UTF8.ml" 91 2711 2721
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( < ) "stdlib.mli" 135 5721 5721 "stdlib.mli" 135 5721 5768
)
"src/xmpp_UTF8.ml" 91 2711 2722 "src/xmpp_UTF8.ml" 91 2711 2725
type(
  int
)
ident(
  int_ref len "src/xmpp_UTF8.ml" 89 2649 2655 "src/xmpp_UTF8.ml" 89 2649 2658
)
"src/xmpp_UTF8.ml" 91 2711 2718 "src/xmpp_UTF8.ml" 91 2711 2725
type(
  bool
)
"src/xmpp_UTF8.ml" 92 2731 2741 "src/xmpp_UTF8.ml" 92 2731 2742
type(
  int
)
ident(
  def w "src/xmpp_UTF8.ml" 93 2788 2796 "src/xmpp_UTF8.ml" 96 2883 2912
)
"src/xmpp_UTF8.ml" 92 2731 2745 "src/xmpp_UTF8.ml" 92 2731 2758
type(
  char -> int
)
ident(
  int_ref width_of_utf8 "src/xmpp_UTF8.ml" 12 211 215 "src/xmpp_UTF8.ml" 12 211 228
)
"src/xmpp_UTF8.ml" 92 2731 2760 "src/xmpp_UTF8.ml" 92 2731 2777
type(
  string -> int -> char
)
ident(
  int_ref Stdlib.String.unsafe_get "string.mli" 607 20556 20556 "string.mli" 607 20556 20622
)
"src/xmpp_UTF8.ml" 92 2731 2778 "src/xmpp_UTF8.ml" 92 2731 2781
type(
  string
)
ident(
  int_ref str "src/xmpp_UTF8.ml" 88 2632 2643 "src/xmpp_UTF8.ml" 88 2632 2646
)
"src/xmpp_UTF8.ml" 92 2731 2782 "src/xmpp_UTF8.ml" 92 2731 2783
type(
  int
)
ident(
  int_ref i "src/xmpp_UTF8.ml" 90 2682 2707 "src/xmpp_UTF8.ml" 90 2682 2708
)
"src/xmpp_UTF8.ml" 92 2731 2759 "src/xmpp_UTF8.ml" 92 2731 2784
type(
  char
)
"src/xmpp_UTF8.ml" 92 2731 2745 "src/xmpp_UTF8.ml" 92 2731 2784
type(
  int
)
"src/xmpp_UTF8.ml" 93 2788 2799 "src/xmpp_UTF8.ml" 93 2788 2800
type(
  int
)
ident(
  int_ref i "src/xmpp_UTF8.ml" 90 2682 2707 "src/xmpp_UTF8.ml" 90 2682 2708
)
"src/xmpp_UTF8.ml" 93 2788 2800 "src/xmpp_UTF8.ml" 93 2788 2801
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/xmpp_UTF8.ml" 93 2788 2801 "src/xmpp_UTF8.ml" 93 2788 2802
type(
  int
)
ident(
  int_ref w "src/xmpp_UTF8.ml" 92 2731 2741 "src/xmpp_UTF8.ml" 92 2731 2742
)
"src/xmpp_UTF8.ml" 93 2788 2799 "src/xmpp_UTF8.ml" 93 2788 2802
type(
  int
)
"src/xmpp_UTF8.ml" 93 2788 2802 "src/xmpp_UTF8.ml" 93 2788 2803
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/xmpp_UTF8.ml" 93 2788 2803 "src/xmpp_UTF8.ml" 93 2788 2804
type(
  int
)
"src/xmpp_UTF8.ml" 93 2788 2799 "src/xmpp_UTF8.ml" 93 2788 2804
type(
  int
)
"src/xmpp_UTF8.ml" 93 2788 2805 "src/xmpp_UTF8.ml" 93 2788 2806
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( < ) "stdlib.mli" 135 5721 5721 "stdlib.mli" 135 5721 5768
)
"src/xmpp_UTF8.ml" 93 2788 2807 "src/xmpp_UTF8.ml" 93 2788 2810
type(
  int
)
ident(
  int_ref len "src/xmpp_UTF8.ml" 89 2649 2655 "src/xmpp_UTF8.ml" 89 2649 2658
)
"src/xmpp_UTF8.ml" 93 2788 2799 "src/xmpp_UTF8.ml" 93 2788 2810
type(
  bool
)
"src/xmpp_UTF8.ml" 94 2816 2826 "src/xmpp_UTF8.ml" 94 2816 2836
type(
  int list -> int -> int list
)
ident(
  int_ref aux_decode "src/xmpp_UTF8.ml" 90 2682 2692 "src/xmpp_UTF8.ml" 90 2682 2702
)
"src/xmpp_UTF8.ml" 94 2816 2838 "src/xmpp_UTF8.ml" 94 2816 2849
type(
  string -> int -> int
)
ident(
  int_ref decode_utf8 "src/xmpp_UTF8.ml" 19 349 353 "src/xmpp_UTF8.ml" 19 349 364
)
"src/xmpp_UTF8.ml" 94 2816 2850 "src/xmpp_UTF8.ml" 94 2816 2853
type(
  string
)
ident(
  int_ref str "src/xmpp_UTF8.ml" 88 2632 2643 "src/xmpp_UTF8.ml" 88 2632 2646
)
"src/xmpp_UTF8.ml" 94 2816 2854 "src/xmpp_UTF8.ml" 94 2816 2855
type(
  int
)
ident(
  int_ref i "src/xmpp_UTF8.ml" 90 2682 2707 "src/xmpp_UTF8.ml" 90 2682 2708
)
"src/xmpp_UTF8.ml" 94 2816 2838 "src/xmpp_UTF8.ml" 94 2816 2855
type(
  int
)
"src/xmpp_UTF8.ml" 94 2816 2859 "src/xmpp_UTF8.ml" 94 2816 2862
type(
  int list
)
ident(
  int_ref acc "src/xmpp_UTF8.ml" 90 2682 2703 "src/xmpp_UTF8.ml" 90 2682 2706
)
"src/xmpp_UTF8.ml" 94 2816 2837 "src/xmpp_UTF8.ml" 94 2816 2863
type(
  int list
)
"src/xmpp_UTF8.ml" 94 2816 2865 "src/xmpp_UTF8.ml" 94 2816 2866
type(
  int
)
ident(
  int_ref i "src/xmpp_UTF8.ml" 90 2682 2707 "src/xmpp_UTF8.ml" 90 2682 2708
)
"src/xmpp_UTF8.ml" 94 2816 2866 "src/xmpp_UTF8.ml" 94 2816 2867
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/xmpp_UTF8.ml" 94 2816 2867 "src/xmpp_UTF8.ml" 94 2816 2868
type(
  int
)
ident(
  int_ref w "src/xmpp_UTF8.ml" 92 2731 2741 "src/xmpp_UTF8.ml" 92 2731 2742
)
"src/xmpp_UTF8.ml" 94 2816 2864 "src/xmpp_UTF8.ml" 94 2816 2869
type(
  int
)
"src/xmpp_UTF8.ml" 94 2816 2826 "src/xmpp_UTF8.ml" 94 2816 2869
type(
  int list
)
"src/xmpp_UTF8.ml" 96 2883 2893 "src/xmpp_UTF8.ml" 96 2883 2898
type(
  exn -> int list
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/xmpp_UTF8.ml" 96 2883 2899 "src/xmpp_UTF8.ml" 96 2883 2912
type(
  exn
)
"src/xmpp_UTF8.ml" 96 2883 2893 "src/xmpp_UTF8.ml" 96 2883 2912
type(
  int list
)
"src/xmpp_UTF8.ml" 93 2788 2796 "src/xmpp_UTF8.ml" 96 2883 2912
type(
  int list
)
"src/xmpp_UTF8.ml" 92 2731 2737 "src/xmpp_UTF8.ml" 96 2883 2912
type(
  int list
)
"src/xmpp_UTF8.ml" 98 2922 2928 "src/xmpp_UTF8.ml" 98 2922 2936
type(
  int list -> int list
)
ident(
  int_ref Stdlib.List.rev "list.mli" 90 3519 3519 "list.mli" 90 3519 3547
)
"src/xmpp_UTF8.ml" 98 2922 2937 "src/xmpp_UTF8.ml" 98 2922 2940
type(
  int list
)
ident(
  int_ref acc "src/xmpp_UTF8.ml" 90 2682 2703 "src/xmpp_UTF8.ml" 90 2682 2706
)
"src/xmpp_UTF8.ml" 98 2922 2928 "src/xmpp_UTF8.ml" 98 2922 2940
type(
  int list
)
"src/xmpp_UTF8.ml" 91 2711 2715 "src/xmpp_UTF8.ml" 98 2922 2940
type(
  int list
)
"src/xmpp_UTF8.ml" 100 2946 2950 "src/xmpp_UTF8.ml" 100 2946 2960
type(
  int list -> int -> int list
)
ident(
  int_ref aux_decode "src/xmpp_UTF8.ml" 90 2682 2692 "src/xmpp_UTF8.ml" 90 2682 2702
)
"src/xmpp_UTF8.ml" 100 2946 2961 "src/xmpp_UTF8.ml" 100 2946 2963
type(
  int list
)
"src/xmpp_UTF8.ml" 100 2946 2964 "src/xmpp_UTF8.ml" 100 2946 2965
type(
  int
)
"src/xmpp_UTF8.ml" 100 2946 2950 "src/xmpp_UTF8.ml" 100 2946 2965
type(
  int list
)
"src/xmpp_UTF8.ml" 90 2682 2684 "src/xmpp_UTF8.ml" 100 2946 2965
type(
  int list
)
"src/xmpp_UTF8.ml" 89 2649 2651 "src/xmpp_UTF8.ml" 100 2946 2965
type(
  int list
)
"src/xmpp_UTF8.ml" 103 2974 2978 "src/xmpp_UTF8.ml" 103 2974 2984
type(
  int list -> string
)
ident(
  def encode "src/xmpp_UTF8.ml" 111 3251 3279 "src/xmpp_UTF8.ml" 0 0 -1
)
"src/xmpp_UTF8.ml" 103 2974 2985 "src/xmpp_UTF8.ml" 103 2974 2989
type(
  int list
)
ident(
  def ustr "src/xmpp_UTF8.ml" 104 2992 2994 "src/xmpp_UTF8.ml" 111 3251 3279
)
"src/xmpp_UTF8.ml" 104 2992 2998 "src/xmpp_UTF8.ml" 104 2992 3001
type(
  int
)
ident(
  def len "src/xmpp_UTF8.ml" 105 3063 3065 "src/xmpp_UTF8.ml" 111 3251 3279
)
"src/xmpp_UTF8.ml" 104 2992 3004 "src/xmpp_UTF8.ml" 104 2992 3018
type(
  (int -> int -> int) -> int -> int list -> int
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/xmpp_UTF8.ml" 104 2992 3024 "src/xmpp_UTF8.ml" 104 2992 3027
type(
  int
)
ident(
  def len "src/xmpp_UTF8.ml" 104 2992 3028 "src/xmpp_UTF8.ml" 104 2992 3051
)
"src/xmpp_UTF8.ml" 104 2992 3028 "src/xmpp_UTF8.ml" 104 2992 3029
type(
  int
)
ident(
  def x "src/xmpp_UTF8.ml" 104 2992 3033 "src/xmpp_UTF8.ml" 104 2992 3051
)
"src/xmpp_UTF8.ml" 104 2992 3033 "src/xmpp_UTF8.ml" 104 2992 3043
type(
  int -> int
)
ident(
  int_ref utf8_width "src/xmpp_UTF8.ml" 5 57 61 "src/xmpp_UTF8.ml" 5 57 71
)
"src/xmpp_UTF8.ml" 104 2992 3044 "src/xmpp_UTF8.ml" 104 2992 3045
type(
  int
)
ident(
  int_ref x "src/xmpp_UTF8.ml" 104 2992 3028 "src/xmpp_UTF8.ml" 104 2992 3029
)
"src/xmpp_UTF8.ml" 104 2992 3033 "src/xmpp_UTF8.ml" 104 2992 3045
type(
  int
)
"src/xmpp_UTF8.ml" 104 2992 3046 "src/xmpp_UTF8.ml" 104 2992 3047
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/xmpp_UTF8.ml" 104 2992 3048 "src/xmpp_UTF8.ml" 104 2992 3051
type(
  int
)
ident(
  int_ref len "src/xmpp_UTF8.ml" 104 2992 3024 "src/xmpp_UTF8.ml" 104 2992 3027
)
"src/xmpp_UTF8.ml" 104 2992 3033 "src/xmpp_UTF8.ml" 104 2992 3051
type(
  int
)
"src/xmpp_UTF8.ml" 104 2992 3019 "src/xmpp_UTF8.ml" 104 2992 3052
type(
  int -> int -> int
)
"src/xmpp_UTF8.ml" 104 2992 3053 "src/xmpp_UTF8.ml" 104 2992 3054
type(
  int
)
"src/xmpp_UTF8.ml" 104 2992 3055 "src/xmpp_UTF8.ml" 104 2992 3059
type(
  int list
)
ident(
  int_ref ustr "src/xmpp_UTF8.ml" 103 2974 2985 "src/xmpp_UTF8.ml" 103 2974 2989
)
"src/xmpp_UTF8.ml" 104 2992 3004 "src/xmpp_UTF8.ml" 104 2992 3059
type(
  int
)
"src/xmpp_UTF8.ml" 105 3063 3069 "src/xmpp_UTF8.ml" 105 3063 3072
type(
  bytes
)
ident(
  def str "src/xmpp_UTF8.ml" 106 3095 3097 "src/xmpp_UTF8.ml" 111 3251 3279
)
"src/xmpp_UTF8.ml" 105 3063 3075 "src/xmpp_UTF8.ml" 105 3063 3087
type(
  int -> bytes
)
ident(
  int_ref Stdlib.Bytes.create "bytes.mli" 70 3056 3056 "bytes.mli" 70 3056 3108
)
"src/xmpp_UTF8.ml" 105 3063 3088 "src/xmpp_UTF8.ml" 105 3063 3091
type(
  int
)
ident(
  int_ref len "src/xmpp_UTF8.ml" 104 2992 2998 "src/xmpp_UTF8.ml" 104 2992 3001
)
"src/xmpp_UTF8.ml" 105 3063 3075 "src/xmpp_UTF8.ml" 105 3063 3091
type(
  bytes
)
"src/xmpp_UTF8.ml" 106 3095 3101 "src/xmpp_UTF8.ml" 106 3095 3105
type(
  int
)
ident(
  def _len "src/xmpp_UTF8.ml" 111 3251 3253 "src/xmpp_UTF8.ml" 111 3251 3279
)
"src/xmpp_UTF8.ml" 107 3108 3112 "src/xmpp_UTF8.ml" 107 3108 3126
type(
  (int -> int -> int) -> int -> int list -> int
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/xmpp_UTF8.ml" 107 3108 3132 "src/xmpp_UTF8.ml" 107 3108 3133
type(
  int
)
ident(
  def i "src/xmpp_UTF8.ml" 107 3108 3134 "src/xmpp_UTF8.ml" 109 3206 3234
)
"src/xmpp_UTF8.ml" 107 3108 3134 "src/xmpp_UTF8.ml" 107 3108 3135
type(
  int
)
ident(
  def x "src/xmpp_UTF8.ml" 108 3139 3145 "src/xmpp_UTF8.ml" 109 3206 3234
)
"src/xmpp_UTF8.ml" 108 3139 3145 "src/xmpp_UTF8.ml" 108 3139 3159
type(
  (int -> char -> int) -> int -> char list -> int
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/xmpp_UTF8.ml" 108 3139 3165 "src/xmpp_UTF8.ml" 108 3139 3166
type(
  int
)
ident(
  def j "src/xmpp_UTF8.ml" 108 3139 3167 "src/xmpp_UTF8.ml" 108 3139 3205
)
"src/xmpp_UTF8.ml" 108 3139 3167 "src/xmpp_UTF8.ml" 108 3139 3168
type(
  char
)
ident(
  def c "src/xmpp_UTF8.ml" 108 3139 3172 "src/xmpp_UTF8.ml" 108 3139 3205
)
"src/xmpp_UTF8.ml" 108 3139 3172 "src/xmpp_UTF8.ml" 108 3139 3188
type(
  bytes -> int -> char -> unit
)
ident(
  int_ref Stdlib.Bytes.unsafe_set "bytes.mli" 777 29484 29484 "bytes.mli" 777 29484 29556
)
"src/xmpp_UTF8.ml" 108 3139 3189 "src/xmpp_UTF8.ml" 108 3139 3192
type(
  bytes
)
ident(
  int_ref str "src/xmpp_UTF8.ml" 105 3063 3069 "src/xmpp_UTF8.ml" 105 3063 3072
)
"src/xmpp_UTF8.ml" 108 3139 3193 "src/xmpp_UTF8.ml" 108 3139 3194
type(
  int
)
ident(
  int_ref j "src/xmpp_UTF8.ml" 108 3139 3165 "src/xmpp_UTF8.ml" 108 3139 3166
)
"src/xmpp_UTF8.ml" 108 3139 3195 "src/xmpp_UTF8.ml" 108 3139 3196
type(
  char
)
ident(
  int_ref c "src/xmpp_UTF8.ml" 108 3139 3167 "src/xmpp_UTF8.ml" 108 3139 3168
)
"src/xmpp_UTF8.ml" 108 3139 3172 "src/xmpp_UTF8.ml" 108 3139 3196
type(
  unit
)
"src/xmpp_UTF8.ml" 108 3139 3198 "src/xmpp_UTF8.ml" 108 3139 3202
type(
  int -> int
)
ident(
  int_ref Stdlib.succ "stdlib.mli" 341 13488 13488 "stdlib.mli" 341 13488 13527
)
"src/xmpp_UTF8.ml" 108 3139 3204 "src/xmpp_UTF8.ml" 108 3139 3205
type(
  int
)
ident(
  int_ref j "src/xmpp_UTF8.ml" 108 3139 3165 "src/xmpp_UTF8.ml" 108 3139 3166
)
"src/xmpp_UTF8.ml" 108 3139 3198 "src/xmpp_UTF8.ml" 108 3139 3205
type(
  int
)
"src/xmpp_UTF8.ml" 108 3139 3172 "src/xmpp_UTF8.ml" 108 3139 3205
type(
  int
)
"src/xmpp_UTF8.ml" 108 3139 3160 "src/xmpp_UTF8.ml" 109 3206 3213
type(
  int -> char -> int
)
"src/xmpp_UTF8.ml" 109 3206 3214 "src/xmpp_UTF8.ml" 109 3206 3215
type(
  int
)
ident(
  int_ref i "src/xmpp_UTF8.ml" 107 3108 3132 "src/xmpp_UTF8.ml" 107 3108 3133
)
"src/xmpp_UTF8.ml" 109 3206 3217 "src/xmpp_UTF8.ml" 109 3206 3231
type(
  int -> char list
)
ident(
  int_ref encode_unicode "src/xmpp_UTF8.ml" 64 1956 1960 "src/xmpp_UTF8.ml" 64 1956 1974
)
"src/xmpp_UTF8.ml" 109 3206 3232 "src/xmpp_UTF8.ml" 109 3206 3233
type(
  int
)
ident(
  int_ref x "src/xmpp_UTF8.ml" 107 3108 3134 "src/xmpp_UTF8.ml" 107 3108 3135
)
"src/xmpp_UTF8.ml" 109 3206 3216 "src/xmpp_UTF8.ml" 109 3206 3234
type(
  char list
)
"src/xmpp_UTF8.ml" 108 3139 3145 "src/xmpp_UTF8.ml" 109 3206 3234
type(
  int
)
"src/xmpp_UTF8.ml" 107 3108 3127 "src/xmpp_UTF8.ml" 110 3235 3240
type(
  int -> int -> int
)
"src/xmpp_UTF8.ml" 110 3235 3241 "src/xmpp_UTF8.ml" 110 3235 3242
type(
  int
)
"src/xmpp_UTF8.ml" 110 3235 3243 "src/xmpp_UTF8.ml" 110 3235 3247
type(
  int list
)
ident(
  int_ref ustr "src/xmpp_UTF8.ml" 103 2974 2985 "src/xmpp_UTF8.ml" 103 2974 2989
)
"src/xmpp_UTF8.ml" 107 3108 3112 "src/xmpp_UTF8.ml" 110 3235 3247
type(
  int
)
"src/xmpp_UTF8.ml" 111 3251 3253 "src/xmpp_UTF8.ml" 111 3251 3275
type(
  bytes -> string
)
ident(
  int_ref Stdlib.Bytes.unsafe_to_string "bytes.mli" 370 15435 15435 "bytes.mli" 370 15435 15473
)
"src/xmpp_UTF8.ml" 111 3251 3276 "src/xmpp_UTF8.ml" 111 3251 3279
type(
  bytes
)
ident(
  int_ref str "src/xmpp_UTF8.ml" 105 3063 3069 "src/xmpp_UTF8.ml" 105 3063 3072
)
"src/xmpp_UTF8.ml" 111 3251 3253 "src/xmpp_UTF8.ml" 111 3251 3279
type(
  string
)
"src/xmpp_UTF8.ml" 106 3095 3097 "src/xmpp_UTF8.ml" 111 3251 3279
type(
  string
)
"src/xmpp_UTF8.ml" 105 3063 3065 "src/xmpp_UTF8.ml" 111 3251 3279
type(
  string
)
"src/xmpp_UTF8.ml" 104 2992 2994 "src/xmpp_UTF8.ml" 111 3251 3279
type(
  string
)
