libtyxml-ocaml-dev 3.5.0-1 / usr / lib / ocaml / tyxml / tyxml_name.annot

"tools/tyxml_name.ml" 10 221 225 "tools/tyxml_name.ml" 10 221 237
type(
  char -> bool
)
ident(
  def is_identchar "tools/tyxml_name.ml" 18 329 329 "tools/tyxml_name.ml" 1 0 -1
)
"tools/tyxml_name.ml" 11 249 253 "tools/tyxml_name.ml" 11 249 261
type(
  char
)
"tools/tyxml_name.ml" 12 262 266 "tools/tyxml_name.ml" 12 262 274
type(
  char
)
"tools/tyxml_name.ml" 11 249 253 "tools/tyxml_name.ml" 12 262 274
type(
  char
)
"tools/tyxml_name.ml" 13 275 279 "tools/tyxml_name.ml" 13 275 282
type(
  char
)
"tools/tyxml_name.ml" 11 249 253 "tools/tyxml_name.ml" 13 275 282
type(
  char
)
"tools/tyxml_name.ml" 14 283 287 "tools/tyxml_name.ml" 14 283 291
type(
  char
)
"tools/tyxml_name.ml" 11 249 253 "tools/tyxml_name.ml" 14 283 291
type(
  char
)
"tools/tyxml_name.ml" 15 292 296 "tools/tyxml_name.ml" 15 292 304
type(
  char
)
"tools/tyxml_name.ml" 11 249 253 "tools/tyxml_name.ml" 15 292 304
type(
  char
)
"tools/tyxml_name.ml" 15 292 308 "tools/tyxml_name.ml" 15 292 312
type(
  bool
)
"tools/tyxml_name.ml" 16 313 317 "tools/tyxml_name.ml" 16 313 318
type(
  char
)
"tools/tyxml_name.ml" 16 313 322 "tools/tyxml_name.ml" 16 313 327
type(
  bool
)
"tools/tyxml_name.ml" 10 221 240 "tools/tyxml_name.ml" 16 313 327
type(
  char -> bool
)
"tools/tyxml_name.ml" 18 329 333 "tools/tyxml_name.ml" 18 329 347
type(
  string -> bytes
)
ident(
  def to_ocaml_bytes "tools/tyxml_name.ml" 22 452 452 "tools/tyxml_name.ml" 1 0 -1
)
"tools/tyxml_name.ml" 18 329 348 "tools/tyxml_name.ml" 18 329 349
type(
  string
)
ident(
  def s "tools/tyxml_name.ml" 19 352 354 "tools/tyxml_name.ml" 20 401 450
)
"tools/tyxml_name.ml" 19 352 358 "tools/tyxml_name.ml" 19 352 359
type(
  char -> char
)
ident(
  def f "tools/tyxml_name.ml" 20 401 403 "tools/tyxml_name.ml" 20 401 450
)
"tools/tyxml_name.ml" 19 352 360 "tools/tyxml_name.ml" 19 352 361
type(
  char
)
ident(
  def c "tools/tyxml_name.ml" 19 352 364 "tools/tyxml_name.ml" 19 352 397
)
"tools/tyxml_name.ml" 19 352 367 "tools/tyxml_name.ml" 19 352 379
type(
  char -> bool
)
ident(
  int_ref is_identchar "tools/tyxml_name.ml" 10 221 225 "tools/tyxml_name.ml" 10 221 237
)
"tools/tyxml_name.ml" 19 352 380 "tools/tyxml_name.ml" 19 352 381
type(
  char
)
ident(
  int_ref c "tools/tyxml_name.ml" 19 352 360 "tools/tyxml_name.ml" 19 352 361
)
"tools/tyxml_name.ml" 19 352 367 "tools/tyxml_name.ml" 19 352 381
call(
  stack
)
type(
  bool
)
"tools/tyxml_name.ml" 19 352 387 "tools/tyxml_name.ml" 19 352 388
type(
  char
)
ident(
  int_ref c "tools/tyxml_name.ml" 19 352 360 "tools/tyxml_name.ml" 19 352 361
)
"tools/tyxml_name.ml" 19 352 394 "tools/tyxml_name.ml" 19 352 397
type(
  char
)
"tools/tyxml_name.ml" 19 352 364 "tools/tyxml_name.ml" 19 352 397
type(
  char
)
"tools/tyxml_name.ml" 20 401 403 "tools/tyxml_name.ml" 20 401 413
type(
  int -> (int -> char) -> bytes
)
ident(
  ext_ref Bytes.init
)
"tools/tyxml_name.ml" 20 401 415 "tools/tyxml_name.ml" 20 401 428
type(
  string -> int
)
ident(
  ext_ref String.length
)
"tools/tyxml_name.ml" 20 401 429 "tools/tyxml_name.ml" 20 401 430
type(
  string
)
ident(
  int_ref s "tools/tyxml_name.ml" 18 329 348 "tools/tyxml_name.ml" 18 329 349
)
"tools/tyxml_name.ml" 20 401 414 "tools/tyxml_name.ml" 20 401 431
type(
  int
)
"tools/tyxml_name.ml" 20 401 437 "tools/tyxml_name.ml" 20 401 438
type(
  int
)
ident(
  def i "tools/tyxml_name.ml" 20 401 442 "tools/tyxml_name.ml" 20 401 449
)
"tools/tyxml_name.ml" 20 401 442 "tools/tyxml_name.ml" 20 401 443
type(
  char -> char
)
ident(
  int_ref f "tools/tyxml_name.ml" 19 352 358 "tools/tyxml_name.ml" 19 352 359
)
"tools/tyxml_name.ml" 20 401 444 "tools/tyxml_name.ml" 20 401 445
type(
  string
)
ident(
  int_ref s "tools/tyxml_name.ml" 18 329 348 "tools/tyxml_name.ml" 18 329 349
)
"tools/tyxml_name.ml" 20 401 447 "tools/tyxml_name.ml" 20 401 448
type(
  int
)
ident(
  int_ref i "tools/tyxml_name.ml" 20 401 437 "tools/tyxml_name.ml" 20 401 438
)
"tools/tyxml_name.ml" 20 401 444 "tools/tyxml_name.ml" 20 401 449
type(
  char
)
"tools/tyxml_name.ml" 20 401 442 "tools/tyxml_name.ml" 20 401 449
call(
  tail
)
type(
  char
)
"tools/tyxml_name.ml" 20 401 432 "tools/tyxml_name.ml" 20 401 450
type(
  int -> char
)
"tools/tyxml_name.ml" 20 401 403 "tools/tyxml_name.ml" 20 401 450
call(
  tail
)
type(
  bytes
)
"tools/tyxml_name.ml" 19 352 354 "tools/tyxml_name.ml" 20 401 450
type(
  bytes
)
"tools/tyxml_name.ml" 22 452 456 "tools/tyxml_name.ml" 22 452 464
type(
  string -> string
)
ident(
  def to_ocaml "tools/tyxml_name.ml" 26 508 508 "tools/tyxml_name.ml" 1 0 -1
)
"tools/tyxml_name.ml" 22 452 465 "tools/tyxml_name.ml" 22 452 466
type(
  string
)
ident(
  def s "tools/tyxml_name.ml" 23 469 471 "tools/tyxml_name.ml" 23 469 505
)
"tools/tyxml_name.ml" 23 469 471 "tools/tyxml_name.ml" 23 469 486
type(
  bytes -> string
)
ident(
  ext_ref Bytes.to_string
)
"tools/tyxml_name.ml" 23 469 488 "tools/tyxml_name.ml" 23 469 502
type(
  string -> bytes
)
ident(
  int_ref to_ocaml_bytes "tools/tyxml_name.ml" 18 329 333 "tools/tyxml_name.ml" 18 329 347
)
"tools/tyxml_name.ml" 23 469 503 "tools/tyxml_name.ml" 23 469 504
type(
  string
)
ident(
  int_ref s "tools/tyxml_name.ml" 22 452 465 "tools/tyxml_name.ml" 22 452 466
)
"tools/tyxml_name.ml" 23 469 487 "tools/tyxml_name.ml" 23 469 505
call(
  stack
)
type(
  bytes
)
"tools/tyxml_name.ml" 23 469 471 "tools/tyxml_name.ml" 23 469 505
call(
  tail
)
type(
  string
)
"tools/tyxml_name.ml" 26 508 512 "tools/tyxml_name.ml" 26 508 516
type(
  (int -> char -> char) -> string -> bytes
)
ident(
  def mapi "tools/tyxml_name.ml" 31 601 601 "tools/tyxml_name.ml" 1 0 -1
)
"tools/tyxml_name.ml" 26 508 517 "tools/tyxml_name.ml" 26 508 518
type(
  int -> char -> char
)
ident(
  def f "tools/tyxml_name.ml" 26 508 519 "tools/tyxml_name.ml" 28 552 598
)
"tools/tyxml_name.ml" 26 508 519 "tools/tyxml_name.ml" 26 508 520
type(
  string
)
ident(
  def s "tools/tyxml_name.ml" 27 523 525 "tools/tyxml_name.ml" 28 552 598
)
"tools/tyxml_name.ml" 27 523 529 "tools/tyxml_name.ml" 27 523 530
type(
  int
)
ident(
  def l "tools/tyxml_name.ml" 28 552 554 "tools/tyxml_name.ml" 28 552 598
)
"tools/tyxml_name.ml" 27 523 533 "tools/tyxml_name.ml" 27 523 546
type(
  string -> int
)
ident(
  ext_ref String.length
)
"tools/tyxml_name.ml" 27 523 547 "tools/tyxml_name.ml" 27 523 548
type(
  string
)
ident(
  int_ref s "tools/tyxml_name.ml" 26 508 519 "tools/tyxml_name.ml" 26 508 520
)
"tools/tyxml_name.ml" 27 523 533 "tools/tyxml_name.ml" 27 523 548
type(
  int
)
"tools/tyxml_name.ml" 28 552 554 "tools/tyxml_name.ml" 28 552 564
type(
  int -> (int -> char) -> bytes
)
ident(
  ext_ref Bytes.init
)
"tools/tyxml_name.ml" 28 552 565 "tools/tyxml_name.ml" 28 552 566
type(
  int
)
ident(
  int_ref l "tools/tyxml_name.ml" 27 523 529 "tools/tyxml_name.ml" 27 523 530
)
"tools/tyxml_name.ml" 28 552 572 "tools/tyxml_name.ml" 28 552 573
type(
  int
)
ident(
  def i "tools/tyxml_name.ml" 28 552 577 "tools/tyxml_name.ml" 28 552 597
)
"tools/tyxml_name.ml" 28 552 577 "tools/tyxml_name.ml" 28 552 578
type(
  int -> char -> char
)
ident(
  int_ref f "tools/tyxml_name.ml" 26 508 517 "tools/tyxml_name.ml" 26 508 518
)
"tools/tyxml_name.ml" 28 552 579 "tools/tyxml_name.ml" 28 552 580
type(
  int
)
ident(
  int_ref i "tools/tyxml_name.ml" 28 552 572 "tools/tyxml_name.ml" 28 552 573
)
"tools/tyxml_name.ml" 28 552 582 "tools/tyxml_name.ml" 28 552 592
type(
  string -> int -> char
)
ident(
  ext_ref String.get
)
"tools/tyxml_name.ml" 28 552 593 "tools/tyxml_name.ml" 28 552 594
type(
  string
)
ident(
  int_ref s "tools/tyxml_name.ml" 26 508 519 "tools/tyxml_name.ml" 26 508 520
)
"tools/tyxml_name.ml" 28 552 595 "tools/tyxml_name.ml" 28 552 596
type(
  int
)
ident(
  int_ref i "tools/tyxml_name.ml" 28 552 572 "tools/tyxml_name.ml" 28 552 573
)
"tools/tyxml_name.ml" 28 552 581 "tools/tyxml_name.ml" 28 552 597
type(
  char
)
"tools/tyxml_name.ml" 28 552 577 "tools/tyxml_name.ml" 28 552 597
call(
  tail
)
type(
  char
)
"tools/tyxml_name.ml" 28 552 567 "tools/tyxml_name.ml" 28 552 598
type(
  int -> char
)
"tools/tyxml_name.ml" 28 552 554 "tools/tyxml_name.ml" 28 552 598
call(
  tail
)
type(
  bytes
)
"tools/tyxml_name.ml" 27 523 525 "tools/tyxml_name.ml" 28 552 598
type(
  bytes
)
"tools/tyxml_name.ml" 31 601 605 "tools/tyxml_name.ml" 31 601 610
type(
  string -> string
)
ident(
  def ident "tools/tyxml_name.ml" 38 751 751 "tools/tyxml_name.ml" 1 0 -1
)
"tools/tyxml_name.ml" 31 601 611 "tools/tyxml_name.ml" 31 601 612
type(
  string
)
ident(
  def s "tools/tyxml_name.ml" 32 615 617 "tools/tyxml_name.ml" 36 730 749
)
"tools/tyxml_name.ml" 32 615 621 "tools/tyxml_name.ml" 32 615 622
type(
  bytes
)
ident(
  def s "tools/tyxml_name.ml" 33 645 647 "tools/tyxml_name.ml" 36 730 749
)
"tools/tyxml_name.ml" 32 615 625 "tools/tyxml_name.ml" 32 615 639
type(
  string -> bytes
)
ident(
  int_ref to_ocaml_bytes "tools/tyxml_name.ml" 18 329 333 "tools/tyxml_name.ml" 18 329 347
)
"tools/tyxml_name.ml" 32 615 640 "tools/tyxml_name.ml" 32 615 641
type(
  string
)
ident(
  int_ref s "tools/tyxml_name.ml" 31 601 611 "tools/tyxml_name.ml" 31 601 612
)
"tools/tyxml_name.ml" 32 615 625 "tools/tyxml_name.ml" 32 615 641
call(
  stack
)
type(
  bytes
)
"tools/tyxml_name.ml" 33 645 651 "tools/tyxml_name.ml" 33 645 652
type(
  bytes
)
ident(
  def s "tools/tyxml_name.ml" 36 730 732 "tools/tyxml_name.ml" 36 730 749
)
"tools/tyxml_name.ml" 33 645 655 "tools/tyxml_name.ml" 33 645 665
type(
  (int -> char -> char) -> bytes -> bytes
)
ident(
  ext_ref Bytes.mapi
)
"tools/tyxml_name.ml" 33 645 671 "tools/tyxml_name.ml" 33 645 672
type(
  int
)
ident(
  def i "tools/tyxml_name.ml" 33 645 673 "tools/tyxml_name.ml" 34 678 719
)
"tools/tyxml_name.ml" 33 645 673 "tools/tyxml_name.ml" 33 645 674
type(
  char
)
ident(
  def c "tools/tyxml_name.ml" 34 678 682 "tools/tyxml_name.ml" 34 678 719
)
"tools/tyxml_name.ml" 34 678 685 "tools/tyxml_name.ml" 34 678 686
type(
  int
)
ident(
  int_ref i "tools/tyxml_name.ml" 33 645 671 "tools/tyxml_name.ml" 33 645 672
)
"tools/tyxml_name.ml" 34 678 687 "tools/tyxml_name.ml" 34 678 688
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"tools/tyxml_name.ml" 34 678 689 "tools/tyxml_name.ml" 34 678 690
type(
  int
)
"tools/tyxml_name.ml" 34 678 685 "tools/tyxml_name.ml" 34 678 690
type(
  bool
)
"tools/tyxml_name.ml" 34 678 696 "tools/tyxml_name.ml" 34 678 710
type(
  char -> char
)
ident(
  ext_ref Char.lowercase
)
"tools/tyxml_name.ml" 34 678 711 "tools/tyxml_name.ml" 34 678 712
type(
  char
)
ident(
  int_ref c "tools/tyxml_name.ml" 33 645 673 "tools/tyxml_name.ml" 33 645 674
)
"tools/tyxml_name.ml" 34 678 696 "tools/tyxml_name.ml" 34 678 712
call(
  tail
)
type(
  char
)
"tools/tyxml_name.ml" 34 678 718 "tools/tyxml_name.ml" 34 678 719
type(
  char
)
ident(
  int_ref c "tools/tyxml_name.ml" 33 645 673 "tools/tyxml_name.ml" 33 645 674
)
"tools/tyxml_name.ml" 34 678 682 "tools/tyxml_name.ml" 34 678 719
type(
  char
)
"tools/tyxml_name.ml" 33 645 666 "tools/tyxml_name.ml" 34 678 720
type(
  int -> char -> char
)
"tools/tyxml_name.ml" 35 721 725 "tools/tyxml_name.ml" 35 721 726
type(
  bytes
)
ident(
  int_ref s "tools/tyxml_name.ml" 32 615 621 "tools/tyxml_name.ml" 32 615 622
)
"tools/tyxml_name.ml" 33 645 655 "tools/tyxml_name.ml" 35 721 726
call(
  stack
)
type(
  bytes
)
"tools/tyxml_name.ml" 36 730 732 "tools/tyxml_name.ml" 36 730 747
type(
  bytes -> string
)
ident(
  ext_ref Bytes.to_string
)
"tools/tyxml_name.ml" 36 730 748 "tools/tyxml_name.ml" 36 730 749
type(
  bytes
)
ident(
  int_ref s "tools/tyxml_name.ml" 33 645 651 "tools/tyxml_name.ml" 33 645 652
)
"tools/tyxml_name.ml" 36 730 732 "tools/tyxml_name.ml" 36 730 749
call(
  tail
)
type(
  string
)
"tools/tyxml_name.ml" 33 645 647 "tools/tyxml_name.ml" 36 730 749
type(
  string
)
"tools/tyxml_name.ml" 32 615 617 "tools/tyxml_name.ml" 36 730 749
type(
  string
)
"tools/tyxml_name.ml" 38 751 755 "tools/tyxml_name.ml" 38 751 761
type(
  string -> string
)
ident(
  def attrib "tools/tyxml_name.ml" 41 788 788 "tools/tyxml_name.ml" 1 0 -1
)
"tools/tyxml_name.ml" 38 751 762 "tools/tyxml_name.ml" 38 751 763
type(
  string
)
ident(
  def s "tools/tyxml_name.ml" 39 766 768 "tools/tyxml_name.ml" 39 766 786
)
"tools/tyxml_name.ml" 39 766 768 "tools/tyxml_name.ml" 39 766 772
type(
  string
)
"tools/tyxml_name.ml" 39 766 773 "tools/tyxml_name.ml" 39 766 774
type(
  string -> string -> string
)
ident(
  ext_ref Pervasives.( ^ )
)
"tools/tyxml_name.ml" 39 766 776 "tools/tyxml_name.ml" 39 766 784
type(
  string -> string
)
ident(
  int_ref to_ocaml "tools/tyxml_name.ml" 22 452 456 "tools/tyxml_name.ml" 22 452 464
)
"tools/tyxml_name.ml" 39 766 785 "tools/tyxml_name.ml" 39 766 786
type(
  string
)
ident(
  int_ref s "tools/tyxml_name.ml" 38 751 762 "tools/tyxml_name.ml" 38 751 763
)
"tools/tyxml_name.ml" 39 766 776 "tools/tyxml_name.ml" 39 766 786
call(
  stack
)
type(
  string
)
"tools/tyxml_name.ml" 39 766 768 "tools/tyxml_name.ml" 39 766 786
call(
  tail
)
type(
  string
)
"tools/tyxml_name.ml" 41 788 792 "tools/tyxml_name.ml" 41 788 799
type(
  string -> string
)
ident(
  def polyvar "tools/tyxml_name.ml" 46 919 944 "tools/tyxml_name.ml" 1 0 -1
)
"tools/tyxml_name.ml" 41 788 800 "tools/tyxml_name.ml" 41 788 801
type(
  string
)
ident(
  def s "tools/tyxml_name.ml" 42 804 806 "tools/tyxml_name.ml" 46 919 944
)
"tools/tyxml_name.ml" 42 804 810 "tools/tyxml_name.ml" 42 804 811
type(
  bytes
)
ident(
  def s "tools/tyxml_name.ml" 43 834 836 "tools/tyxml_name.ml" 46 919 944
)
"tools/tyxml_name.ml" 42 804 814 "tools/tyxml_name.ml" 42 804 828
type(
  string -> bytes
)
ident(
  int_ref to_ocaml_bytes "tools/tyxml_name.ml" 18 329 333 "tools/tyxml_name.ml" 18 329 347
)
"tools/tyxml_name.ml" 42 804 829 "tools/tyxml_name.ml" 42 804 830
type(
  string
)
ident(
  int_ref s "tools/tyxml_name.ml" 41 788 800 "tools/tyxml_name.ml" 41 788 801
)
"tools/tyxml_name.ml" 42 804 814 "tools/tyxml_name.ml" 42 804 830
call(
  stack
)
type(
  bytes
)
"tools/tyxml_name.ml" 43 834 840 "tools/tyxml_name.ml" 43 834 841
type(
  bytes
)
ident(
  def s "tools/tyxml_name.ml" 46 919 921 "tools/tyxml_name.ml" 46 919 944
)
"tools/tyxml_name.ml" 43 834 844 "tools/tyxml_name.ml" 43 834 854
type(
  (int -> char -> char) -> bytes -> bytes
)
ident(
  ext_ref Bytes.mapi
)
"tools/tyxml_name.ml" 43 834 860 "tools/tyxml_name.ml" 43 834 861
type(
  int
)
ident(
  def i "tools/tyxml_name.ml" 43 834 862 "tools/tyxml_name.ml" 44 867 908
)
"tools/tyxml_name.ml" 43 834 862 "tools/tyxml_name.ml" 43 834 863
type(
  char
)
ident(
  def c "tools/tyxml_name.ml" 44 867 871 "tools/tyxml_name.ml" 44 867 908
)
"tools/tyxml_name.ml" 44 867 874 "tools/tyxml_name.ml" 44 867 875
type(
  int
)
ident(
  int_ref i "tools/tyxml_name.ml" 43 834 860 "tools/tyxml_name.ml" 43 834 861
)
"tools/tyxml_name.ml" 44 867 876 "tools/tyxml_name.ml" 44 867 877
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"tools/tyxml_name.ml" 44 867 878 "tools/tyxml_name.ml" 44 867 879
type(
  int
)
"tools/tyxml_name.ml" 44 867 874 "tools/tyxml_name.ml" 44 867 879
type(
  bool
)
"tools/tyxml_name.ml" 44 867 885 "tools/tyxml_name.ml" 44 867 899
type(
  char -> char
)
ident(
  ext_ref Char.uppercase
)
"tools/tyxml_name.ml" 44 867 900 "tools/tyxml_name.ml" 44 867 901
type(
  char
)
ident(
  int_ref c "tools/tyxml_name.ml" 43 834 862 "tools/tyxml_name.ml" 43 834 863
)
"tools/tyxml_name.ml" 44 867 885 "tools/tyxml_name.ml" 44 867 901
call(
  tail
)
type(
  char
)
"tools/tyxml_name.ml" 44 867 907 "tools/tyxml_name.ml" 44 867 908
type(
  char
)
ident(
  int_ref c "tools/tyxml_name.ml" 43 834 862 "tools/tyxml_name.ml" 43 834 863
)
"tools/tyxml_name.ml" 44 867 871 "tools/tyxml_name.ml" 44 867 908
type(
  char
)
"tools/tyxml_name.ml" 43 834 855 "tools/tyxml_name.ml" 44 867 909
type(
  int -> char -> char
)
"tools/tyxml_name.ml" 45 910 914 "tools/tyxml_name.ml" 45 910 915
type(
  bytes
)
ident(
  int_ref s "tools/tyxml_name.ml" 42 804 810 "tools/tyxml_name.ml" 42 804 811
)
"tools/tyxml_name.ml" 43 834 844 "tools/tyxml_name.ml" 45 910 915
call(
  stack
)
type(
  bytes
)
"tools/tyxml_name.ml" 46 919 921 "tools/tyxml_name.ml" 46 919 924
type(
  string
)
"tools/tyxml_name.ml" 46 919 925 "tools/tyxml_name.ml" 46 919 926
type(
  string -> string -> string
)
ident(
  ext_ref Pervasives.( ^ )
)
"tools/tyxml_name.ml" 46 919 927 "tools/tyxml_name.ml" 46 919 942
type(
  bytes -> string
)
ident(
  ext_ref Bytes.to_string
)
"tools/tyxml_name.ml" 46 919 943 "tools/tyxml_name.ml" 46 919 944
type(
  bytes
)
ident(
  int_ref s "tools/tyxml_name.ml" 43 834 840 "tools/tyxml_name.ml" 43 834 841
)
"tools/tyxml_name.ml" 46 919 927 "tools/tyxml_name.ml" 46 919 944
call(
  stack
)
type(
  string
)
"tools/tyxml_name.ml" 46 919 921 "tools/tyxml_name.ml" 46 919 944
call(
  tail
)
type(
  string
)
"tools/tyxml_name.ml" 43 834 836 "tools/tyxml_name.ml" 46 919 944
type(
  string
)
"tools/tyxml_name.ml" 42 804 806 "tools/tyxml_name.ml" 46 919 944
type(
  string
)