"src/XEP_time.ml" 8 100 107 "src/XEP_time.ml" 8 100 111
ident(
  def Make "src/XEP_time.ml" 44 1152 1155 "src/XEP_time.ml" 0 0 -1
)
"src/XEP_time.ml" 12 148 154 "src/XEP_time.ml" 12 148 161
type(
  string option
)
ident(
  def ns_time "src/XEP_time.ml" 14 187 189 "src/XEP_time.ml" 44 1152 1155
)
"src/XEP_time.ml" 12 148 169 "src/XEP_time.ml" 12 148 185
type(
  string
)
"src/XEP_time.ml" 12 148 164 "src/XEP_time.ml" 12 148 185
type(
  string option
)
"src/XEP_time.ml" 20 261 267 "src/XEP_time.ml" 20 261 273
type(
  t -> Xml.element
)
ident(
  def encode "src/XEP_time.ml" 32 696 698 "src/XEP_time.ml" 44 1152 1155
)
"src/XEP_time.ml" 20 261 274 "src/XEP_time.ml" 20 261 275
type(
  t
)
ident(
  def t "src/XEP_time.ml" 21 278 282 "src/XEP_time.ml" 30 681 688
)
"src/XEP_time.ml" 21 278 282 "src/XEP_time.ml" 21 278 294
type(
  Xml.qname -> Xml.attribute list -> Xml.element list -> Xml.element
)
ident(
  int_ref Xml.make_element "src/xml.mli" 64 1990 1990 "src/xml.mli" 64 1990 2059
)
"src/XEP_time.ml" 21 278 296 "src/XEP_time.ml" 21 278 303
type(
  Xml.namespace
)
ident(
  int_ref ns_time "src/XEP_time.ml" 12 148 154 "src/XEP_time.ml" 12 148 161
)
"src/XEP_time.ml" 21 278 305 "src/XEP_time.ml" 21 278 312
type(
  Xml.name
)
"src/XEP_time.ml" 21 278 295 "src/XEP_time.ml" 21 278 313
type(
  Xml.qname
)
"src/XEP_time.ml" 21 278 314 "src/XEP_time.ml" 21 278 316
type(
  Xml.attribute list
)
"src/XEP_time.ml" 22 317 324 "src/XEP_time.ml" 22 317 338
type(
  (Xml.element list -> Xml.element option -> Xml.element list) ->
  Xml.element list -> Xml.element option list -> Xml.element list
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/XEP_time.ml" 22 317 344 "src/XEP_time.ml" 22 317 347
type(
  Xml.element list
)
ident(
  def acc "src/XEP_time.ml" 22 317 351 "src/XEP_time.ml" 24 382 412
)
"src/XEP_time.ml" 23 360 370 "src/XEP_time.ml" 23 360 374
type(
  Xml.element option
)
"src/XEP_time.ml" 23 360 378 "src/XEP_time.ml" 23 360 381
type(
  Xml.element list
)
ident(
  int_ref acc "src/XEP_time.ml" 22 317 344 "src/XEP_time.ml" 22 317 347
)
"src/XEP_time.ml" 24 382 397 "src/XEP_time.ml" 24 382 399
type(
  Xml.element
)
ident(
  def el "src/XEP_time.ml" 24 382 403 "src/XEP_time.ml" 24 382 412
)
"src/XEP_time.ml" 24 382 392 "src/XEP_time.ml" 24 382 399
type(
  Xml.element option
)
"src/XEP_time.ml" 24 382 403 "src/XEP_time.ml" 24 382 405
type(
  Xml.element
)
ident(
  int_ref el "src/XEP_time.ml" 24 382 397 "src/XEP_time.ml" 24 382 399
)
"src/XEP_time.ml" 24 382 409 "src/XEP_time.ml" 24 382 412
type(
  Xml.element list
)
ident(
  int_ref acc "src/XEP_time.ml" 22 317 344 "src/XEP_time.ml" 22 317 347
)
"src/XEP_time.ml" 24 382 403 "src/XEP_time.ml" 24 382 412
type(
  Xml.element list
)
"src/XEP_time.ml" 22 317 351 "src/XEP_time.ml" 24 382 412
type(
  Xml.element option -> Xml.element list
)
"src/XEP_time.ml" 22 317 339 "src/XEP_time.ml" 25 413 421
type(
  Xml.element list -> Xml.element option -> Xml.element list
)
"src/XEP_time.ml" 25 413 423 "src/XEP_time.ml" 25 413 440
type(
  Xml.qname -> Xml.cdata -> Xml.element
)
ident(
  int_ref Xml.make_simple_cdata "src/xml.mli" 66 2120 2120 "src/xml.mli" 66 2120 2169
)
"src/XEP_time.ml" 25 413 442 "src/XEP_time.ml" 25 413 449
type(
  Xml.namespace
)
ident(
  int_ref ns_time "src/XEP_time.ml" 12 148 154 "src/XEP_time.ml" 12 148 161
)
"src/XEP_time.ml" 25 413 451 "src/XEP_time.ml" 25 413 456
type(
  Xml.name
)
"src/XEP_time.ml" 25 413 441 "src/XEP_time.ml" 25 413 457
type(
  Xml.qname
)
"src/XEP_time.ml" 25 413 458 "src/XEP_time.ml" 25 413 459
type(
  t
)
ident(
  int_ref t "src/XEP_time.ml" 20 261 274 "src/XEP_time.ml" 20 261 275
)
"src/XEP_time.ml" 25 413 458 "src/XEP_time.ml" 25 413 463
type(
  Xml.cdata
)
"src/XEP_time.ml" 25 413 423 "src/XEP_time.ml" 25 413 463
type(
  Xml.element
)
"src/XEP_time.ml" 25 413 422 "src/XEP_time.ml" 25 413 464
type(
  Xml.element list
)
"src/XEP_time.ml" 26 465 479 "src/XEP_time.ml" 26 465 480
type(
  t
)
ident(
  int_ref t "src/XEP_time.ml" 20 261 274 "src/XEP_time.ml" 20 261 275
)
"src/XEP_time.ml" 26 465 479 "src/XEP_time.ml" 26 465 483
type(
  string
)
"src/XEP_time.ml" 26 465 484 "src/XEP_time.ml" 26 465 485
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/XEP_time.ml" 26 465 486 "src/XEP_time.ml" 26 465 488
type(
  string
)
"src/XEP_time.ml" 26 465 479 "src/XEP_time.ml" 26 465 488
type(
  bool
)
"src/XEP_time.ml" 26 465 494 "src/XEP_time.ml" 26 465 498
type(
  Xml.element option
)
"src/XEP_time.ml" 27 504 523 "src/XEP_time.ml" 27 504 540
type(
  Xml.qname -> Xml.cdata -> Xml.element
)
ident(
  int_ref Xml.make_simple_cdata "src/xml.mli" 66 2120 2120 "src/xml.mli" 66 2120 2169
)
"src/XEP_time.ml" 27 504 542 "src/XEP_time.ml" 27 504 549
type(
  Xml.namespace
)
ident(
  int_ref ns_time "src/XEP_time.ml" 12 148 154 "src/XEP_time.ml" 12 148 161
)
"src/XEP_time.ml" 27 504 551 "src/XEP_time.ml" 27 504 555
type(
  Xml.name
)
"src/XEP_time.ml" 27 504 541 "src/XEP_time.ml" 27 504 556
type(
  Xml.qname
)
"src/XEP_time.ml" 27 504 557 "src/XEP_time.ml" 27 504 558
type(
  t
)
ident(
  int_ref t "src/XEP_time.ml" 20 261 274 "src/XEP_time.ml" 20 261 275
)
"src/XEP_time.ml" 27 504 557 "src/XEP_time.ml" 27 504 561
type(
  Xml.cdata
)
"src/XEP_time.ml" 27 504 522 "src/XEP_time.ml" 27 504 562
type(
  Xml.element
)
"src/XEP_time.ml" 27 504 517 "src/XEP_time.ml" 27 504 562
type(
  Xml.element option
)
"src/XEP_time.ml" 26 465 475 "src/XEP_time.ml" 27 504 563
type(
  Xml.element option
)
"src/XEP_time.ml" 28 565 579 "src/XEP_time.ml" 28 565 580
type(
  t
)
ident(
  int_ref t "src/XEP_time.ml" 20 261 274 "src/XEP_time.ml" 20 261 275
)
"src/XEP_time.ml" 28 565 579 "src/XEP_time.ml" 28 565 588
type(
  string
)
"src/XEP_time.ml" 28 565 589 "src/XEP_time.ml" 28 565 590
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/XEP_time.ml" 28 565 591 "src/XEP_time.ml" 28 565 593
type(
  string
)
"src/XEP_time.ml" 28 565 579 "src/XEP_time.ml" 28 565 593
type(
  bool
)
"src/XEP_time.ml" 28 565 599 "src/XEP_time.ml" 28 565 603
type(
  Xml.element option
)
"src/XEP_time.ml" 29 609 629 "src/XEP_time.ml" 29 609 646
type(
  Xml.qname -> Xml.cdata -> Xml.element
)
ident(
  int_ref Xml.make_simple_cdata "src/xml.mli" 66 2120 2120 "src/xml.mli" 66 2120 2169
)
"src/XEP_time.ml" 29 609 648 "src/XEP_time.ml" 29 609 655
type(
  Xml.namespace
)
ident(
  int_ref ns_time "src/XEP_time.ml" 12 148 154 "src/XEP_time.ml" 12 148 161
)
"src/XEP_time.ml" 29 609 657 "src/XEP_time.ml" 29 609 666
type(
  Xml.name
)
"src/XEP_time.ml" 29 609 647 "src/XEP_time.ml" 29 609 667
type(
  Xml.qname
)
"src/XEP_time.ml" 29 609 668 "src/XEP_time.ml" 29 609 669
type(
  t
)
ident(
  int_ref t "src/XEP_time.ml" 20 261 274 "src/XEP_time.ml" 20 261 275
)
"src/XEP_time.ml" 29 609 668 "src/XEP_time.ml" 29 609 677
type(
  Xml.cdata
)
"src/XEP_time.ml" 29 609 628 "src/XEP_time.ml" 29 609 678
type(
  Xml.element
)
"src/XEP_time.ml" 29 609 623 "src/XEP_time.ml" 29 609 678
type(
  Xml.element option
)
"src/XEP_time.ml" 28 565 575 "src/XEP_time.ml" 29 609 679
type(
  Xml.element option
)
"src/XEP_time.ml" 26 465 474 "src/XEP_time.ml" 29 609 680
type(
  Xml.element option list
)
"src/XEP_time.ml" 22 317 323 "src/XEP_time.ml" 30 681 688
type(
  Xml.element list
)
"src/XEP_time.ml" 21 278 282 "src/XEP_time.ml" 30 681 688
type(
  Xml.element
)
"src/XEP_time.ml" 32 696 702 "src/XEP_time.ml" 32 696 708
type(
  Xml.element -> t
)
ident(
  def decode "src/XEP_time.ml" 42 1087 1089 "src/XEP_time.ml" 44 1152 1155
)
"src/XEP_time.ml" 32 696 709 "src/XEP_time.ml" 32 696 711
type(
  Xml.element
)
ident(
  def el "src/XEP_time.ml" 33 714 718 "src/XEP_time.ml" 40 1032 1077
)
"src/XEP_time.ml" 33 714 722 "src/XEP_time.ml" 33 714 725
type(
  Xml.element list
)
ident(
  def els "src/XEP_time.ml" 34 747 751 "src/XEP_time.ml" 40 1032 1077
)
"src/XEP_time.ml" 33 714 728 "src/XEP_time.ml" 33 714 740
type(
  Xml.element -> Xml.element list
)
ident(
  int_ref Xml.get_children "src/xml.mli" 57 1670 1670 "src/xml.mli" 57 1670 1712
)
"src/XEP_time.ml" 33 714 741 "src/XEP_time.ml" 33 714 743
type(
  Xml.element
)
ident(
  int_ref el "src/XEP_time.ml" 32 696 709 "src/XEP_time.ml" 32 696 711
)
"src/XEP_time.ml" 33 714 728 "src/XEP_time.ml" 33 714 743
type(
  Xml.element list
)
"src/XEP_time.ml" 34 747 755 "src/XEP_time.ml" 34 747 758
type(
  string
)
ident(
  def utc "src/XEP_time.ml" 36 840 844 "src/XEP_time.ml" 40 1032 1077
)
"src/XEP_time.ml" 35 761 771 "src/XEP_time.ml" 35 761 780
type(
  Xml.element -> string
)
ident(
  int_ref Xml.get_cdata "src/xml.mli" 62 1908 1908 "src/xml.mli" 62 1908 1941
)
"src/XEP_time.ml" 35 761 782 "src/XEP_time.ml" 35 761 793
type(
  Xml.qname -> Xml.element list -> Xml.element
)
ident(
  int_ref Xml.get_element "src/xml.mli" 55 1562 1562 "src/xml.mli" 55 1562 1612
)
"src/XEP_time.ml" 35 761 795 "src/XEP_time.ml" 35 761 802
type(
  Xml.namespace
)
ident(
  int_ref ns_time "src/XEP_time.ml" 12 148 154 "src/XEP_time.ml" 12 148 161
)
"src/XEP_time.ml" 35 761 804 "src/XEP_time.ml" 35 761 809
type(
  Xml.name
)
"src/XEP_time.ml" 35 761 794 "src/XEP_time.ml" 35 761 810
type(
  Xml.qname
)
"src/XEP_time.ml" 35 761 811 "src/XEP_time.ml" 35 761 814
type(
  Xml.element list
)
ident(
  int_ref els "src/XEP_time.ml" 33 714 722 "src/XEP_time.ml" 33 714 725
)
"src/XEP_time.ml" 35 761 781 "src/XEP_time.ml" 35 761 815
type(
  Xml.element
)
"src/XEP_time.ml" 35 761 771 "src/XEP_time.ml" 35 761 815
type(
  string
)
"src/XEP_time.ml" 35 761 821 "src/XEP_time.ml" 35 761 830
type(
  exn
)
"src/XEP_time.ml" 35 761 834 "src/XEP_time.ml" 35 761 836
type(
  string
)
"src/XEP_time.ml" 35 761 767 "src/XEP_time.ml" 35 761 836
type(
  string
)
"src/XEP_time.ml" 36 840 848 "src/XEP_time.ml" 36 840 850
type(
  string
)
ident(
  def tz "src/XEP_time.ml" 38 931 935 "src/XEP_time.ml" 40 1032 1077
)
"src/XEP_time.ml" 37 853 863 "src/XEP_time.ml" 37 853 872
type(
  Xml.element -> string
)
ident(
  int_ref Xml.get_cdata "src/xml.mli" 62 1908 1908 "src/xml.mli" 62 1908 1941
)
"src/XEP_time.ml" 37 853 874 "src/XEP_time.ml" 37 853 885
type(
  Xml.qname -> Xml.element list -> Xml.element
)
ident(
  int_ref Xml.get_element "src/xml.mli" 55 1562 1562 "src/xml.mli" 55 1562 1612
)
"src/XEP_time.ml" 37 853 887 "src/XEP_time.ml" 37 853 894
type(
  Xml.namespace
)
ident(
  int_ref ns_time "src/XEP_time.ml" 12 148 154 "src/XEP_time.ml" 12 148 161
)
"src/XEP_time.ml" 37 853 896 "src/XEP_time.ml" 37 853 900
type(
  Xml.name
)
"src/XEP_time.ml" 37 853 886 "src/XEP_time.ml" 37 853 901
type(
  Xml.qname
)
"src/XEP_time.ml" 37 853 902 "src/XEP_time.ml" 37 853 905
type(
  Xml.element list
)
ident(
  int_ref els "src/XEP_time.ml" 33 714 722 "src/XEP_time.ml" 33 714 725
)
"src/XEP_time.ml" 37 853 873 "src/XEP_time.ml" 37 853 906
type(
  Xml.element
)
"src/XEP_time.ml" 37 853 863 "src/XEP_time.ml" 37 853 906
type(
  string
)
"src/XEP_time.ml" 37 853 912 "src/XEP_time.ml" 37 853 921
type(
  exn
)
"src/XEP_time.ml" 37 853 925 "src/XEP_time.ml" 37 853 927
type(
  string
)
"src/XEP_time.ml" 37 853 859 "src/XEP_time.ml" 37 853 927
type(
  string
)
"src/XEP_time.ml" 38 931 939 "src/XEP_time.ml" 38 931 946
type(
  string
)
ident(
  def display "src/XEP_time.ml" 40 1032 1038 "src/XEP_time.ml" 40 1032 1077
)
"src/XEP_time.ml" 39 949 959 "src/XEP_time.ml" 39 949 968
type(
  Xml.element -> string
)
ident(
  int_ref Xml.get_cdata "src/xml.mli" 62 1908 1908 "src/xml.mli" 62 1908 1941
)
"src/XEP_time.ml" 39 949 970 "src/XEP_time.ml" 39 949 981
type(
  Xml.qname -> Xml.element list -> Xml.element
)
ident(
  int_ref Xml.get_element "src/xml.mli" 55 1562 1562 "src/xml.mli" 55 1562 1612
)
"src/XEP_time.ml" 39 949 983 "src/XEP_time.ml" 39 949 990
type(
  Xml.namespace
)
ident(
  int_ref ns_time "src/XEP_time.ml" 12 148 154 "src/XEP_time.ml" 12 148 161
)
"src/XEP_time.ml" 39 949 992 "src/XEP_time.ml" 39 949 1001
type(
  Xml.name
)
"src/XEP_time.ml" 39 949 982 "src/XEP_time.ml" 39 949 1002
type(
  Xml.qname
)
"src/XEP_time.ml" 39 949 1003 "src/XEP_time.ml" 39 949 1006
type(
  Xml.element list
)
ident(
  int_ref els "src/XEP_time.ml" 33 714 722 "src/XEP_time.ml" 33 714 725
)
"src/XEP_time.ml" 39 949 969 "src/XEP_time.ml" 39 949 1007
type(
  Xml.element
)
"src/XEP_time.ml" 39 949 959 "src/XEP_time.ml" 39 949 1007
type(
  string
)
"src/XEP_time.ml" 39 949 1013 "src/XEP_time.ml" 39 949 1022
type(
  exn
)
"src/XEP_time.ml" 39 949 1026 "src/XEP_time.ml" 39 949 1028
type(
  string
)
"src/XEP_time.ml" 39 949 955 "src/XEP_time.ml" 39 949 1028
type(
  string
)
"src/XEP_time.ml" 40 1032 1045 "src/XEP_time.ml" 40 1032 1048
type(
  string
)
ident(
  int_ref utc "src/XEP_time.ml" 34 747 755 "src/XEP_time.ml" 34 747 758
)
"src/XEP_time.ml" 40 1032 1055 "src/XEP_time.ml" 40 1032 1057
type(
  string
)
ident(
  int_ref tz "src/XEP_time.ml" 36 840 848 "src/XEP_time.ml" 36 840 850
)
"src/XEP_time.ml" 40 1032 1069 "src/XEP_time.ml" 40 1032 1076
type(
  string
)
ident(
  int_ref display "src/XEP_time.ml" 38 931 939 "src/XEP_time.ml" 38 931 946
)
"src/XEP_time.ml" 40 1032 1038 "src/XEP_time.ml" 40 1032 1077
type(
  t
)
"src/XEP_time.ml" 38 931 935 "src/XEP_time.ml" 40 1032 1077
type(
  t
)
"src/XEP_time.ml" 36 840 844 "src/XEP_time.ml" 40 1032 1077
type(
  t
)
"src/XEP_time.ml" 34 747 751 "src/XEP_time.ml" 40 1032 1077
type(
  t
)
"src/XEP_time.ml" 33 714 718 "src/XEP_time.ml" 40 1032 1077
type(
  t
)
"src/XEP_time.ml" 42 1087 1093 "src/XEP_time.ml" 42 1087 1104
type(
  unit -> Xml.element
)
ident(
  def make_iq_get "src/XEP_time.ml" 43 1110 1151 "src/XEP_time.ml" 44 1152 1155
)
"src/XEP_time.ml" 42 1087 1105 "src/XEP_time.ml" 42 1087 1107
type(
  unit
)
"src/XEP_time.ml" 43 1110 1114 "src/XEP_time.ml" 43 1110 1126
type(
  Xml.qname -> Xml.attribute list -> Xml.element list -> Xml.element
)
ident(
  int_ref Xml.make_element "src/xml.mli" 64 1990 1990 "src/xml.mli" 64 1990 2059
)
"src/XEP_time.ml" 43 1110 1128 "src/XEP_time.ml" 43 1110 1135
type(
  Xml.namespace
)
ident(
  int_ref ns_time "src/XEP_time.ml" 12 148 154 "src/XEP_time.ml" 12 148 161
)
"src/XEP_time.ml" 43 1110 1137 "src/XEP_time.ml" 43 1110 1144
type(
  Xml.name
)
"src/XEP_time.ml" 43 1110 1127 "src/XEP_time.ml" 43 1110 1145
type(
  Xml.qname
)
"src/XEP_time.ml" 43 1110 1146 "src/XEP_time.ml" 43 1110 1148
type(
  Xml.attribute list
)
"src/XEP_time.ml" 43 1110 1149 "src/XEP_time.ml" 43 1110 1151
type(
  Xml.element list
)
"src/XEP_time.ml" 43 1110 1114 "src/XEP_time.ml" 43 1110 1151
type(
  Xml.element
)
