libtext-ocaml-dev 0.8-1build1 / usr / lib / ocaml / text / encoding_bigarray.annot

"src/encoding_bigarray.ml" 17 529 533 "src/encoding_bigarray.ml" 17 529 539
type(
  Encoding.decoder -> byte_array -> int -> int -> Encoding.decoding_result
)
ident(
  def decode "src/encoding_bigarray.ml" 23 697 697 "src/encoding_bigarray.ml" 1 0 -1
)
"src/encoding_bigarray.ml" 17 529 540 "src/encoding_bigarray.ml" 17 529 547
type(
  Encoding.decoder
)
ident(
  def decoder "src/encoding_bigarray.ml" 17 529 548 "src/encoding_bigarray.ml" 21 660 695
)
"src/encoding_bigarray.ml" 17 529 548 "src/encoding_bigarray.ml" 17 529 551
type(
  byte_array
)
ident(
  def buf "src/encoding_bigarray.ml" 17 529 552 "src/encoding_bigarray.ml" 21 660 695
)
"src/encoding_bigarray.ml" 17 529 552 "src/encoding_bigarray.ml" 17 529 555
type(
  int
)
ident(
  def pos "src/encoding_bigarray.ml" 17 529 556 "src/encoding_bigarray.ml" 21 660 695
)
"src/encoding_bigarray.ml" 17 529 556 "src/encoding_bigarray.ml" 17 529 559
type(
  int
)
ident(
  def len "src/encoding_bigarray.ml" 18 562 564 "src/encoding_bigarray.ml" 21 660 695
)
"src/encoding_bigarray.ml" 18 562 567 "src/encoding_bigarray.ml" 18 562 570
type(
  int
)
ident(
  int_ref pos "src/encoding_bigarray.ml" 17 529 552 "src/encoding_bigarray.ml" 17 529 555
)
"src/encoding_bigarray.ml" 18 562 571 "src/encoding_bigarray.ml" 18 562 572
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( < )
)
"src/encoding_bigarray.ml" 18 562 573 "src/encoding_bigarray.ml" 18 562 574
type(
  int
)
"src/encoding_bigarray.ml" 18 562 567 "src/encoding_bigarray.ml" 18 562 574
type(
  bool
)
"src/encoding_bigarray.ml" 18 562 575 "src/encoding_bigarray.ml" 18 562 577
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( || )
)
"src/encoding_bigarray.ml" 18 562 578 "src/encoding_bigarray.ml" 18 562 581
type(
  int
)
ident(
  int_ref pos "src/encoding_bigarray.ml" 17 529 552 "src/encoding_bigarray.ml" 17 529 555
)
"src/encoding_bigarray.ml" 18 562 582 "src/encoding_bigarray.ml" 18 562 583
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"src/encoding_bigarray.ml" 18 562 584 "src/encoding_bigarray.ml" 18 562 587
type(
  int
)
ident(
  int_ref len "src/encoding_bigarray.ml" 17 529 556 "src/encoding_bigarray.ml" 17 529 559
)
"src/encoding_bigarray.ml" 18 562 578 "src/encoding_bigarray.ml" 18 562 587
type(
  int
)
"src/encoding_bigarray.ml" 18 562 588 "src/encoding_bigarray.ml" 18 562 589
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( > )
)
"src/encoding_bigarray.ml" 18 562 590 "src/encoding_bigarray.ml" 18 562 600
type(
  byte_array -> int
)
ident(
  ext_ref Bigarray.Array1.dim
)
"src/encoding_bigarray.ml" 18 562 601 "src/encoding_bigarray.ml" 18 562 604
type(
  byte_array
)
ident(
  int_ref buf "src/encoding_bigarray.ml" 17 529 548 "src/encoding_bigarray.ml" 17 529 551
)
"src/encoding_bigarray.ml" 18 562 590 "src/encoding_bigarray.ml" 18 562 604
type(
  int
)
"src/encoding_bigarray.ml" 18 562 578 "src/encoding_bigarray.ml" 18 562 604
type(
  bool
)
"src/encoding_bigarray.ml" 18 562 567 "src/encoding_bigarray.ml" 18 562 604
type(
  bool
)
"src/encoding_bigarray.ml" 19 610 614 "src/encoding_bigarray.ml" 19 610 625
type(
  string -> Encoding.decoding_result
)
ident(
  ext_ref Pervasives.invalid_arg
)
"src/encoding_bigarray.ml" 19 610 626 "src/encoding_bigarray.ml" 19 610 652
type(
  string
)
"src/encoding_bigarray.ml" 19 610 614 "src/encoding_bigarray.ml" 19 610 652
call(
  tail
)
type(
  Encoding.decoding_result
)
"src/encoding_bigarray.ml" 21 660 664 "src/encoding_bigarray.ml" 21 660 675
type(
  Encoding.decoder -> byte_array -> int -> int -> Encoding.decoding_result
)
ident(
  int_ref stub_decode "src/encoding_bigarray.ml" 14 257 257 "src/encoding_bigarray.ml" 14 257 380
)
"src/encoding_bigarray.ml" 21 660 676 "src/encoding_bigarray.ml" 21 660 683
type(
  Encoding.decoder
)
ident(
  int_ref decoder "src/encoding_bigarray.ml" 17 529 540 "src/encoding_bigarray.ml" 17 529 547
)
"src/encoding_bigarray.ml" 21 660 684 "src/encoding_bigarray.ml" 21 660 687
type(
  byte_array
)
ident(
  int_ref buf "src/encoding_bigarray.ml" 17 529 548 "src/encoding_bigarray.ml" 17 529 551
)
"src/encoding_bigarray.ml" 21 660 688 "src/encoding_bigarray.ml" 21 660 691
type(
  int
)
ident(
  int_ref pos "src/encoding_bigarray.ml" 17 529 552 "src/encoding_bigarray.ml" 17 529 555
)
"src/encoding_bigarray.ml" 21 660 692 "src/encoding_bigarray.ml" 21 660 695
type(
  int
)
ident(
  int_ref len "src/encoding_bigarray.ml" 17 529 556 "src/encoding_bigarray.ml" 17 529 559
)
"src/encoding_bigarray.ml" 21 660 664 "src/encoding_bigarray.ml" 21 660 695
type(
  Encoding.decoding_result
)
"src/encoding_bigarray.ml" 18 562 564 "src/encoding_bigarray.ml" 21 660 695
type(
  Encoding.decoding_result
)
"src/encoding_bigarray.ml" 23 697 701 "src/encoding_bigarray.ml" 23 697 707
type(
  Encoding.encoder ->
  byte_array -> int -> int -> Encoding.code_point -> Encoding.encoding_result
)
ident(
  def encode "src/encoding_bigarray.ml" 27 833 873 "src/encoding_bigarray.ml" 1 0 -1
)
"src/encoding_bigarray.ml" 23 697 708 "src/encoding_bigarray.ml" 23 697 715
type(
  Encoding.encoder
)
ident(
  def decoder "src/encoding_bigarray.ml" 23 697 716 "src/encoding_bigarray.ml" 27 833 873
)
"src/encoding_bigarray.ml" 23 697 716 "src/encoding_bigarray.ml" 23 697 719
type(
  byte_array
)
ident(
  def buf "src/encoding_bigarray.ml" 23 697 720 "src/encoding_bigarray.ml" 27 833 873
)
"src/encoding_bigarray.ml" 23 697 720 "src/encoding_bigarray.ml" 23 697 723
type(
  int
)
ident(
  def pos "src/encoding_bigarray.ml" 23 697 724 "src/encoding_bigarray.ml" 27 833 873
)
"src/encoding_bigarray.ml" 23 697 724 "src/encoding_bigarray.ml" 23 697 727
type(
  int
)
ident(
  def len "src/encoding_bigarray.ml" 23 697 728 "src/encoding_bigarray.ml" 27 833 873
)
"src/encoding_bigarray.ml" 23 697 728 "src/encoding_bigarray.ml" 23 697 732
type(
  Encoding.code_point
)
ident(
  def code "src/encoding_bigarray.ml" 24 735 737 "src/encoding_bigarray.ml" 27 833 873
)
"src/encoding_bigarray.ml" 24 735 740 "src/encoding_bigarray.ml" 24 735 743
type(
  int
)
ident(
  int_ref pos "src/encoding_bigarray.ml" 23 697 720 "src/encoding_bigarray.ml" 23 697 723
)
"src/encoding_bigarray.ml" 24 735 744 "src/encoding_bigarray.ml" 24 735 745
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( < )
)
"src/encoding_bigarray.ml" 24 735 746 "src/encoding_bigarray.ml" 24 735 747
type(
  int
)
"src/encoding_bigarray.ml" 24 735 740 "src/encoding_bigarray.ml" 24 735 747
type(
  bool
)
"src/encoding_bigarray.ml" 24 735 748 "src/encoding_bigarray.ml" 24 735 750
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( || )
)
"src/encoding_bigarray.ml" 24 735 751 "src/encoding_bigarray.ml" 24 735 754
type(
  int
)
ident(
  int_ref pos "src/encoding_bigarray.ml" 23 697 720 "src/encoding_bigarray.ml" 23 697 723
)
"src/encoding_bigarray.ml" 24 735 755 "src/encoding_bigarray.ml" 24 735 756
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"src/encoding_bigarray.ml" 24 735 757 "src/encoding_bigarray.ml" 24 735 760
type(
  int
)
ident(
  int_ref len "src/encoding_bigarray.ml" 23 697 724 "src/encoding_bigarray.ml" 23 697 727
)
"src/encoding_bigarray.ml" 24 735 751 "src/encoding_bigarray.ml" 24 735 760
type(
  int
)
"src/encoding_bigarray.ml" 24 735 761 "src/encoding_bigarray.ml" 24 735 762
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( > )
)
"src/encoding_bigarray.ml" 24 735 763 "src/encoding_bigarray.ml" 24 735 773
type(
  byte_array -> int
)
ident(
  ext_ref Bigarray.Array1.dim
)
"src/encoding_bigarray.ml" 24 735 774 "src/encoding_bigarray.ml" 24 735 777
type(
  byte_array
)
ident(
  int_ref buf "src/encoding_bigarray.ml" 23 697 716 "src/encoding_bigarray.ml" 23 697 719
)
"src/encoding_bigarray.ml" 24 735 763 "src/encoding_bigarray.ml" 24 735 777
type(
  int
)
"src/encoding_bigarray.ml" 24 735 751 "src/encoding_bigarray.ml" 24 735 777
type(
  bool
)
"src/encoding_bigarray.ml" 24 735 740 "src/encoding_bigarray.ml" 24 735 777
type(
  bool
)
"src/encoding_bigarray.ml" 25 783 787 "src/encoding_bigarray.ml" 25 783 798
type(
  string -> Encoding.encoding_result
)
ident(
  ext_ref Pervasives.invalid_arg
)
"src/encoding_bigarray.ml" 25 783 799 "src/encoding_bigarray.ml" 25 783 825
type(
  string
)
"src/encoding_bigarray.ml" 25 783 787 "src/encoding_bigarray.ml" 25 783 825
call(
  tail
)
type(
  Encoding.encoding_result
)
"src/encoding_bigarray.ml" 27 833 837 "src/encoding_bigarray.ml" 27 833 848
type(
  Encoding.encoder ->
  byte_array -> int -> int -> Encoding.code_point -> Encoding.encoding_result
)
ident(
  int_ref stub_encode "src/encoding_bigarray.ml" 15 381 381 "src/encoding_bigarray.ml" 15 381 527
)
"src/encoding_bigarray.ml" 27 833 849 "src/encoding_bigarray.ml" 27 833 856
type(
  Encoding.encoder
)
ident(
  int_ref decoder "src/encoding_bigarray.ml" 23 697 708 "src/encoding_bigarray.ml" 23 697 715
)
"src/encoding_bigarray.ml" 27 833 857 "src/encoding_bigarray.ml" 27 833 860
type(
  byte_array
)
ident(
  int_ref buf "src/encoding_bigarray.ml" 23 697 716 "src/encoding_bigarray.ml" 23 697 719
)
"src/encoding_bigarray.ml" 27 833 861 "src/encoding_bigarray.ml" 27 833 864
type(
  int
)
ident(
  int_ref pos "src/encoding_bigarray.ml" 23 697 720 "src/encoding_bigarray.ml" 23 697 723
)
"src/encoding_bigarray.ml" 27 833 865 "src/encoding_bigarray.ml" 27 833 868
type(
  int
)
ident(
  int_ref len "src/encoding_bigarray.ml" 23 697 724 "src/encoding_bigarray.ml" 23 697 727
)
"src/encoding_bigarray.ml" 27 833 869 "src/encoding_bigarray.ml" 27 833 873
type(
  Encoding.code_point
)
ident(
  int_ref code "src/encoding_bigarray.ml" 23 697 728 "src/encoding_bigarray.ml" 23 697 732
)
"src/encoding_bigarray.ml" 27 833 837 "src/encoding_bigarray.ml" 27 833 873
type(
  Encoding.encoding_result
)
"src/encoding_bigarray.ml" 24 735 737 "src/encoding_bigarray.ml" 27 833 873
type(
  Encoding.encoding_result
)