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

"src/encoding.ml" 30 815 819 "src/encoding.ml" 30 815 825
type(
  t
)
ident(
  def system "src/encoding.ml" 32 837 837 "src/encoding.ml" 1 0 -1
)
"src/encoding.ml" 30 815 828 "src/encoding.ml" 30 815 832
type(
  unit -> t
)
ident(
  int_ref init "src/encoding.ml" 23 384 384 "src/encoding.ml" 23 384 426
)
"src/encoding.ml" 30 815 833 "src/encoding.ml" 30 815 835
type(
  unit
)
"src/encoding.ml" 30 815 828 "src/encoding.ml" 30 815 835
type(
  t
)
"src/encoding.ml" 32 837 841 "src/encoding.ml" 32 837 847
type(
  decoder -> string -> int -> int -> decoding_result
)
ident(
  def decode "src/encoding.ml" 38 999 999 "src/encoding.ml" 1 0 -1
)
"src/encoding.ml" 32 837 848 "src/encoding.ml" 32 837 855
type(
  decoder
)
ident(
  def decoder "src/encoding.ml" 32 837 856 "src/encoding.ml" 36 962 997
)
"src/encoding.ml" 32 837 856 "src/encoding.ml" 32 837 859
type(
  string
)
ident(
  def buf "src/encoding.ml" 32 837 860 "src/encoding.ml" 36 962 997
)
"src/encoding.ml" 32 837 860 "src/encoding.ml" 32 837 863
type(
  int
)
ident(
  def pos "src/encoding.ml" 32 837 864 "src/encoding.ml" 36 962 997
)
"src/encoding.ml" 32 837 864 "src/encoding.ml" 32 837 867
type(
  int
)
ident(
  def len "src/encoding.ml" 33 870 872 "src/encoding.ml" 36 962 997
)
"src/encoding.ml" 33 870 875 "src/encoding.ml" 33 870 878
type(
  int
)
ident(
  int_ref pos "src/encoding.ml" 32 837 860 "src/encoding.ml" 32 837 863
)
"src/encoding.ml" 33 870 879 "src/encoding.ml" 33 870 880
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( < )
)
"src/encoding.ml" 33 870 881 "src/encoding.ml" 33 870 882
type(
  int
)
"src/encoding.ml" 33 870 875 "src/encoding.ml" 33 870 882
type(
  bool
)
"src/encoding.ml" 33 870 883 "src/encoding.ml" 33 870 885
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( || )
)
"src/encoding.ml" 33 870 886 "src/encoding.ml" 33 870 889
type(
  int
)
ident(
  int_ref pos "src/encoding.ml" 32 837 860 "src/encoding.ml" 32 837 863
)
"src/encoding.ml" 33 870 890 "src/encoding.ml" 33 870 891
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"src/encoding.ml" 33 870 892 "src/encoding.ml" 33 870 895
type(
  int
)
ident(
  int_ref len "src/encoding.ml" 32 837 864 "src/encoding.ml" 32 837 867
)
"src/encoding.ml" 33 870 886 "src/encoding.ml" 33 870 895
type(
  int
)
"src/encoding.ml" 33 870 896 "src/encoding.ml" 33 870 897
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( > )
)
"src/encoding.ml" 33 870 898 "src/encoding.ml" 33 870 911
type(
  string -> int
)
ident(
  ext_ref String.length
)
"src/encoding.ml" 33 870 912 "src/encoding.ml" 33 870 915
type(
  string
)
ident(
  int_ref buf "src/encoding.ml" 32 837 856 "src/encoding.ml" 32 837 859
)
"src/encoding.ml" 33 870 898 "src/encoding.ml" 33 870 915
type(
  int
)
"src/encoding.ml" 33 870 886 "src/encoding.ml" 33 870 915
type(
  bool
)
"src/encoding.ml" 33 870 875 "src/encoding.ml" 33 870 915
type(
  bool
)
"src/encoding.ml" 34 921 925 "src/encoding.ml" 34 921 936
type(
  string -> decoding_result
)
ident(
  ext_ref Pervasives.invalid_arg
)
"src/encoding.ml" 34 921 937 "src/encoding.ml" 34 921 954
type(
  string
)
"src/encoding.ml" 34 921 925 "src/encoding.ml" 34 921 954
call(
  tail
)
type(
  decoding_result
)
"src/encoding.ml" 36 962 966 "src/encoding.ml" 36 962 977
type(
  decoder -> string -> int -> int -> decoding_result
)
ident(
  int_ref stub_decode "src/encoding.ml" 26 531 531 "src/encoding.ml" 26 531 623
)
"src/encoding.ml" 36 962 978 "src/encoding.ml" 36 962 985
type(
  decoder
)
ident(
  int_ref decoder "src/encoding.ml" 32 837 848 "src/encoding.ml" 32 837 855
)
"src/encoding.ml" 36 962 986 "src/encoding.ml" 36 962 989
type(
  string
)
ident(
  int_ref buf "src/encoding.ml" 32 837 856 "src/encoding.ml" 32 837 859
)
"src/encoding.ml" 36 962 990 "src/encoding.ml" 36 962 993
type(
  int
)
ident(
  int_ref pos "src/encoding.ml" 32 837 860 "src/encoding.ml" 32 837 863
)
"src/encoding.ml" 36 962 994 "src/encoding.ml" 36 962 997
type(
  int
)
ident(
  int_ref len "src/encoding.ml" 32 837 864 "src/encoding.ml" 32 837 867
)
"src/encoding.ml" 36 962 966 "src/encoding.ml" 36 962 997
type(
  decoding_result
)
"src/encoding.ml" 33 870 872 "src/encoding.ml" 36 962 997
type(
  decoding_result
)
"src/encoding.ml" 38 999 1003 "src/encoding.ml" 38 999 1009
type(
  encoder -> string -> int -> int -> code_point -> encoding_result
)
ident(
  def encode "src/encoding.ml" 44 1171 1171 "src/encoding.ml" 1 0 -1
)
"src/encoding.ml" 38 999 1010 "src/encoding.ml" 38 999 1017
type(
  encoder
)
ident(
  def decoder "src/encoding.ml" 38 999 1018 "src/encoding.ml" 42 1129 1169
)
"src/encoding.ml" 38 999 1018 "src/encoding.ml" 38 999 1021
type(
  string
)
ident(
  def buf "src/encoding.ml" 38 999 1022 "src/encoding.ml" 42 1129 1169
)
"src/encoding.ml" 38 999 1022 "src/encoding.ml" 38 999 1025
type(
  int
)
ident(
  def pos "src/encoding.ml" 38 999 1026 "src/encoding.ml" 42 1129 1169
)
"src/encoding.ml" 38 999 1026 "src/encoding.ml" 38 999 1029
type(
  int
)
ident(
  def len "src/encoding.ml" 38 999 1030 "src/encoding.ml" 42 1129 1169
)
"src/encoding.ml" 38 999 1030 "src/encoding.ml" 38 999 1034
type(
  code_point
)
ident(
  def code "src/encoding.ml" 39 1037 1039 "src/encoding.ml" 42 1129 1169
)
"src/encoding.ml" 39 1037 1042 "src/encoding.ml" 39 1037 1045
type(
  int
)
ident(
  int_ref pos "src/encoding.ml" 38 999 1022 "src/encoding.ml" 38 999 1025
)
"src/encoding.ml" 39 1037 1046 "src/encoding.ml" 39 1037 1047
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( < )
)
"src/encoding.ml" 39 1037 1048 "src/encoding.ml" 39 1037 1049
type(
  int
)
"src/encoding.ml" 39 1037 1042 "src/encoding.ml" 39 1037 1049
type(
  bool
)
"src/encoding.ml" 39 1037 1050 "src/encoding.ml" 39 1037 1052
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( || )
)
"src/encoding.ml" 39 1037 1053 "src/encoding.ml" 39 1037 1056
type(
  int
)
ident(
  int_ref pos "src/encoding.ml" 38 999 1022 "src/encoding.ml" 38 999 1025
)
"src/encoding.ml" 39 1037 1057 "src/encoding.ml" 39 1037 1058
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"src/encoding.ml" 39 1037 1059 "src/encoding.ml" 39 1037 1062
type(
  int
)
ident(
  int_ref len "src/encoding.ml" 38 999 1026 "src/encoding.ml" 38 999 1029
)
"src/encoding.ml" 39 1037 1053 "src/encoding.ml" 39 1037 1062
type(
  int
)
"src/encoding.ml" 39 1037 1063 "src/encoding.ml" 39 1037 1064
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( > )
)
"src/encoding.ml" 39 1037 1065 "src/encoding.ml" 39 1037 1078
type(
  string -> int
)
ident(
  ext_ref String.length
)
"src/encoding.ml" 39 1037 1079 "src/encoding.ml" 39 1037 1082
type(
  string
)
ident(
  int_ref buf "src/encoding.ml" 38 999 1018 "src/encoding.ml" 38 999 1021
)
"src/encoding.ml" 39 1037 1065 "src/encoding.ml" 39 1037 1082
type(
  int
)
"src/encoding.ml" 39 1037 1053 "src/encoding.ml" 39 1037 1082
type(
  bool
)
"src/encoding.ml" 39 1037 1042 "src/encoding.ml" 39 1037 1082
type(
  bool
)
"src/encoding.ml" 40 1088 1092 "src/encoding.ml" 40 1088 1103
type(
  string -> encoding_result
)
ident(
  ext_ref Pervasives.invalid_arg
)
"src/encoding.ml" 40 1088 1104 "src/encoding.ml" 40 1088 1121
type(
  string
)
"src/encoding.ml" 40 1088 1092 "src/encoding.ml" 40 1088 1121
call(
  tail
)
type(
  encoding_result
)
"src/encoding.ml" 42 1129 1133 "src/encoding.ml" 42 1129 1144
type(
  encoder -> string -> int -> int -> code_point -> encoding_result
)
ident(
  int_ref stub_encode "src/encoding.ml" 27 624 624 "src/encoding.ml" 27 624 730
)
"src/encoding.ml" 42 1129 1145 "src/encoding.ml" 42 1129 1152
type(
  encoder
)
ident(
  int_ref decoder "src/encoding.ml" 38 999 1010 "src/encoding.ml" 38 999 1017
)
"src/encoding.ml" 42 1129 1153 "src/encoding.ml" 42 1129 1156
type(
  string
)
ident(
  int_ref buf "src/encoding.ml" 38 999 1018 "src/encoding.ml" 38 999 1021
)
"src/encoding.ml" 42 1129 1157 "src/encoding.ml" 42 1129 1160
type(
  int
)
ident(
  int_ref pos "src/encoding.ml" 38 999 1022 "src/encoding.ml" 38 999 1025
)
"src/encoding.ml" 42 1129 1161 "src/encoding.ml" 42 1129 1164
type(
  int
)
ident(
  int_ref len "src/encoding.ml" 38 999 1026 "src/encoding.ml" 38 999 1029
)
"src/encoding.ml" 42 1129 1165 "src/encoding.ml" 42 1129 1169
type(
  code_point
)
ident(
  int_ref code "src/encoding.ml" 38 999 1030 "src/encoding.ml" 38 999 1034
)
"src/encoding.ml" 42 1129 1133 "src/encoding.ml" 42 1129 1169
type(
  encoding_result
)
"src/encoding.ml" 39 1037 1039 "src/encoding.ml" 42 1129 1169
type(
  encoding_result
)
"src/encoding.ml" 44 1171 1175 "src/encoding.ml" 44 1171 1180
type(
  string -> string -> bool
)
ident(
  def equal "src/encoding.ml" 60 1646 1646 "src/encoding.ml" 1 0 -1
)
"src/encoding.ml" 44 1171 1181 "src/encoding.ml" 44 1171 1182
type(
  string
)
ident(
  def a "src/encoding.ml" 44 1171 1183 "src/encoding.ml" 58 1636 1644
)
"src/encoding.ml" 44 1171 1183 "src/encoding.ml" 44 1171 1184
type(
  string
)
ident(
  def b "src/encoding.ml" 45 1187 1189 "src/encoding.ml" 58 1636 1644
)
"src/encoding.ml" 45 1187 1193 "src/encoding.ml" 45 1187 1198
type(
  int
)
ident(
  def len_a "src/encoding.ml" 46 1248 1250 "src/encoding.ml" 58 1636 1644
)
"src/encoding.ml" 45 1187 1201 "src/encoding.ml" 45 1187 1214
type(
  string -> int
)
ident(
  ext_ref String.length
)
"src/encoding.ml" 45 1187 1215 "src/encoding.ml" 45 1187 1216
type(
  string
)
ident(
  int_ref a "src/encoding.ml" 44 1171 1181 "src/encoding.ml" 44 1171 1182
)
"src/encoding.ml" 45 1187 1201 "src/encoding.ml" 45 1187 1216
type(
  int
)
"src/encoding.ml" 45 1187 1221 "src/encoding.ml" 45 1187 1226
type(
  int
)
ident(
  def len_b "src/encoding.ml" 46 1248 1250 "src/encoding.ml" 58 1636 1644
)
"src/encoding.ml" 45 1187 1229 "src/encoding.ml" 45 1187 1242
type(
  string -> int
)
ident(
  ext_ref String.length
)
"src/encoding.ml" 45 1187 1243 "src/encoding.ml" 45 1187 1244
type(
  string
)
ident(
  int_ref b "src/encoding.ml" 44 1171 1183 "src/encoding.ml" 44 1171 1184
)
"src/encoding.ml" 45 1187 1229 "src/encoding.ml" 45 1187 1244
type(
  int
)
"src/encoding.ml" 46 1248 1258 "src/encoding.ml" 46 1248 1262
type(
  int -> bool
)
ident(
  def loop "src/encoding.ml" 46 1248 1250 "src/encoding.ml" 58 1636 1644
)
"src/encoding.ml" 46 1248 1263 "src/encoding.ml" 46 1248 1264
type(
  int
)
ident(
  def i "src/encoding.ml" 47 1267 1271 "src/encoding.ml" 56 1619 1630
)
"src/encoding.ml" 47 1267 1275 "src/encoding.ml" 47 1267 1283
type(
  bool
)
ident(
  def end_of_a "src/encoding.ml" 49 1436 1440 "src/encoding.ml" 56 1619 1630
)
"src/encoding.ml" 47 1267 1286 "src/encoding.ml" 47 1267 1287
type(
  int
)
ident(
  int_ref i "src/encoding.ml" 46 1248 1263 "src/encoding.ml" 46 1248 1264
)
"src/encoding.ml" 47 1267 1288 "src/encoding.ml" 47 1267 1289
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"src/encoding.ml" 47 1267 1290 "src/encoding.ml" 47 1267 1295
type(
  int
)
ident(
  int_ref len_a "src/encoding.ml" 45 1187 1193 "src/encoding.ml" 45 1187 1198
)
"src/encoding.ml" 47 1267 1286 "src/encoding.ml" 47 1267 1295
type(
  bool
)
"src/encoding.ml" 47 1267 1296 "src/encoding.ml" 47 1267 1298
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( || )
)
"src/encoding.ml" 47 1267 1300 "src/encoding.ml" 47 1267 1301
type(
  int
)
ident(
  int_ref i "src/encoding.ml" 46 1248 1263 "src/encoding.ml" 46 1248 1264
)
"src/encoding.ml" 47 1267 1302 "src/encoding.ml" 47 1267 1303
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"src/encoding.ml" 47 1267 1304 "src/encoding.ml" 47 1267 1305
type(
  int
)
"src/encoding.ml" 47 1267 1300 "src/encoding.ml" 47 1267 1305
type(
  int
)
"src/encoding.ml" 47 1267 1306 "src/encoding.ml" 47 1267 1308
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( <= )
)
"src/encoding.ml" 47 1267 1309 "src/encoding.ml" 47 1267 1314
type(
  int
)
ident(
  int_ref len_a "src/encoding.ml" 45 1187 1193 "src/encoding.ml" 45 1187 1198
)
"src/encoding.ml" 47 1267 1300 "src/encoding.ml" 47 1267 1314
type(
  bool
)
"src/encoding.ml" 47 1267 1315 "src/encoding.ml" 47 1267 1317
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( && )
)
"src/encoding.ml" 47 1267 1318 "src/encoding.ml" 47 1267 1319
type(
  string
)
ident(
  int_ref a "src/encoding.ml" 44 1171 1181 "src/encoding.ml" 44 1171 1182
)
"src/encoding.ml" 47 1267 1321 "src/encoding.ml" 47 1267 1322
type(
  int
)
ident(
  int_ref i "src/encoding.ml" 46 1248 1263 "src/encoding.ml" 46 1248 1264
)
"src/encoding.ml" 47 1267 1318 "src/encoding.ml" 47 1267 1323
type(
  char
)
"src/encoding.ml" 47 1267 1324 "src/encoding.ml" 47 1267 1325
type(
  char -> char -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"src/encoding.ml" 47 1267 1326 "src/encoding.ml" 47 1267 1329
type(
  char
)
"src/encoding.ml" 47 1267 1318 "src/encoding.ml" 47 1267 1329
type(
  bool
)
"src/encoding.ml" 47 1267 1330 "src/encoding.ml" 47 1267 1332
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( && )
)
"src/encoding.ml" 47 1267 1333 "src/encoding.ml" 47 1267 1334
type(
  string
)
ident(
  int_ref a "src/encoding.ml" 44 1171 1181 "src/encoding.ml" 44 1171 1182
)
"src/encoding.ml" 47 1267 1336 "src/encoding.ml" 47 1267 1337
type(
  int
)
ident(
  int_ref i "src/encoding.ml" 46 1248 1263 "src/encoding.ml" 46 1248 1264
)
"src/encoding.ml" 47 1267 1338 "src/encoding.ml" 47 1267 1339
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"src/encoding.ml" 47 1267 1340 "src/encoding.ml" 47 1267 1341
type(
  int
)
"src/encoding.ml" 47 1267 1336 "src/encoding.ml" 47 1267 1341
type(
  int
)
"src/encoding.ml" 47 1267 1333 "src/encoding.ml" 47 1267 1342
type(
  char
)
"src/encoding.ml" 47 1267 1343 "src/encoding.ml" 47 1267 1344
type(
  char -> char -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"src/encoding.ml" 47 1267 1345 "src/encoding.ml" 47 1267 1348
type(
  char
)
"src/encoding.ml" 47 1267 1333 "src/encoding.ml" 47 1267 1348
type(
  bool
)
"src/encoding.ml" 47 1267 1318 "src/encoding.ml" 47 1267 1348
type(
  bool
)
"src/encoding.ml" 47 1267 1299 "src/encoding.ml" 47 1267 1349
type(
  bool
)
"src/encoding.ml" 47 1267 1286 "src/encoding.ml" 47 1267 1349
type(
  bool
)
"src/encoding.ml" 48 1350 1358 "src/encoding.ml" 48 1350 1366
type(
  bool
)
ident(
  def end_of_b "src/encoding.ml" 49 1436 1440 "src/encoding.ml" 56 1619 1630
)
"src/encoding.ml" 48 1350 1369 "src/encoding.ml" 48 1350 1370
type(
  int
)
ident(
  int_ref i "src/encoding.ml" 46 1248 1263 "src/encoding.ml" 46 1248 1264
)
"src/encoding.ml" 48 1350 1371 "src/encoding.ml" 48 1350 1372
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"src/encoding.ml" 48 1350 1373 "src/encoding.ml" 48 1350 1378
type(
  int
)
ident(
  int_ref len_b "src/encoding.ml" 45 1187 1221 "src/encoding.ml" 45 1187 1226
)
"src/encoding.ml" 48 1350 1369 "src/encoding.ml" 48 1350 1378
type(
  bool
)
"src/encoding.ml" 48 1350 1379 "src/encoding.ml" 48 1350 1381
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( || )
)
"src/encoding.ml" 48 1350 1383 "src/encoding.ml" 48 1350 1384
type(
  int
)
ident(
  int_ref i "src/encoding.ml" 46 1248 1263 "src/encoding.ml" 46 1248 1264
)
"src/encoding.ml" 48 1350 1385 "src/encoding.ml" 48 1350 1386
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"src/encoding.ml" 48 1350 1387 "src/encoding.ml" 48 1350 1388
type(
  int
)
"src/encoding.ml" 48 1350 1383 "src/encoding.ml" 48 1350 1388
type(
  int
)
"src/encoding.ml" 48 1350 1389 "src/encoding.ml" 48 1350 1391
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( <= )
)
"src/encoding.ml" 48 1350 1392 "src/encoding.ml" 48 1350 1397
type(
  int
)
ident(
  int_ref len_b "src/encoding.ml" 45 1187 1221 "src/encoding.ml" 45 1187 1226
)
"src/encoding.ml" 48 1350 1383 "src/encoding.ml" 48 1350 1397
type(
  bool
)
"src/encoding.ml" 48 1350 1398 "src/encoding.ml" 48 1350 1400
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( && )
)
"src/encoding.ml" 48 1350 1401 "src/encoding.ml" 48 1350 1402
type(
  string
)
ident(
  int_ref b "src/encoding.ml" 44 1171 1183 "src/encoding.ml" 44 1171 1184
)
"src/encoding.ml" 48 1350 1404 "src/encoding.ml" 48 1350 1405
type(
  int
)
ident(
  int_ref i "src/encoding.ml" 46 1248 1263 "src/encoding.ml" 46 1248 1264
)
"src/encoding.ml" 48 1350 1401 "src/encoding.ml" 48 1350 1406
type(
  char
)
"src/encoding.ml" 48 1350 1407 "src/encoding.ml" 48 1350 1408
type(
  char -> char -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"src/encoding.ml" 48 1350 1409 "src/encoding.ml" 48 1350 1412
type(
  char
)
"src/encoding.ml" 48 1350 1401 "src/encoding.ml" 48 1350 1412
type(
  bool
)
"src/encoding.ml" 48 1350 1413 "src/encoding.ml" 48 1350 1415
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( && )
)
"src/encoding.ml" 48 1350 1416 "src/encoding.ml" 48 1350 1417
type(
  string
)
ident(
  int_ref b "src/encoding.ml" 44 1171 1183 "src/encoding.ml" 44 1171 1184
)
"src/encoding.ml" 48 1350 1419 "src/encoding.ml" 48 1350 1420
type(
  int
)
ident(
  int_ref i "src/encoding.ml" 46 1248 1263 "src/encoding.ml" 46 1248 1264
)
"src/encoding.ml" 48 1350 1421 "src/encoding.ml" 48 1350 1422
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"src/encoding.ml" 48 1350 1423 "src/encoding.ml" 48 1350 1424
type(
  int
)
"src/encoding.ml" 48 1350 1419 "src/encoding.ml" 48 1350 1424
type(
  int
)
"src/encoding.ml" 48 1350 1416 "src/encoding.ml" 48 1350 1425
type(
  char
)
"src/encoding.ml" 48 1350 1426 "src/encoding.ml" 48 1350 1427
type(
  char -> char -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"src/encoding.ml" 48 1350 1428 "src/encoding.ml" 48 1350 1431
type(
  char
)
"src/encoding.ml" 48 1350 1416 "src/encoding.ml" 48 1350 1431
type(
  bool
)
"src/encoding.ml" 48 1350 1401 "src/encoding.ml" 48 1350 1431
type(
  bool
)
"src/encoding.ml" 48 1350 1382 "src/encoding.ml" 48 1350 1432
type(
  bool
)
"src/encoding.ml" 48 1350 1369 "src/encoding.ml" 48 1350 1432
type(
  bool
)
"src/encoding.ml" 49 1436 1443 "src/encoding.ml" 49 1436 1451
type(
  bool
)
ident(
  int_ref end_of_a "src/encoding.ml" 47 1267 1275 "src/encoding.ml" 47 1267 1283
)
"src/encoding.ml" 49 1436 1452 "src/encoding.ml" 49 1436 1454
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( && )
)
"src/encoding.ml" 49 1436 1455 "src/encoding.ml" 49 1436 1463
type(
  bool
)
ident(
  int_ref end_of_b "src/encoding.ml" 48 1350 1358 "src/encoding.ml" 48 1350 1366
)
"src/encoding.ml" 49 1436 1443 "src/encoding.ml" 49 1436 1463
type(
  bool
)
"src/encoding.ml" 50 1469 1475 "src/encoding.ml" 50 1469 1479
type(
  bool
)
"src/encoding.ml" 51 1480 1492 "src/encoding.ml" 51 1480 1500
type(
  bool
)
ident(
  int_ref end_of_a "src/encoding.ml" 47 1267 1275 "src/encoding.ml" 47 1267 1283
)
"src/encoding.ml" 51 1480 1501 "src/encoding.ml" 51 1480 1503
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( || )
)
"src/encoding.ml" 51 1480 1504 "src/encoding.ml" 51 1480 1512
type(
  bool
)
ident(
  int_ref end_of_b "src/encoding.ml" 48 1350 1358 "src/encoding.ml" 48 1350 1366
)
"src/encoding.ml" 51 1480 1492 "src/encoding.ml" 51 1480 1512
type(
  bool
)
"src/encoding.ml" 52 1518 1524 "src/encoding.ml" 52 1518 1529
type(
  bool
)
"src/encoding.ml" 53 1530 1542 "src/encoding.ml" 53 1530 1556
type(
  char -> char
)
ident(
  ext_ref Char.lowercase
)
"src/encoding.ml" 53 1530 1557 "src/encoding.ml" 53 1530 1558
type(
  string
)
ident(
  int_ref a "src/encoding.ml" 44 1171 1181 "src/encoding.ml" 44 1171 1182
)
"src/encoding.ml" 53 1530 1560 "src/encoding.ml" 53 1530 1561
type(
  int
)
ident(
  int_ref i "src/encoding.ml" 46 1248 1263 "src/encoding.ml" 46 1248 1264
)
"src/encoding.ml" 53 1530 1557 "src/encoding.ml" 53 1530 1562
type(
  char
)
"src/encoding.ml" 53 1530 1542 "src/encoding.ml" 53 1530 1562
call(
  stack
)
type(
  char
)
"src/encoding.ml" 53 1530 1563 "src/encoding.ml" 53 1530 1564
type(
  char -> char -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"src/encoding.ml" 53 1530 1565 "src/encoding.ml" 53 1530 1579
type(
  char -> char
)
ident(
  ext_ref Char.lowercase
)
"src/encoding.ml" 53 1530 1580 "src/encoding.ml" 53 1530 1581
type(
  string
)
ident(
  int_ref b "src/encoding.ml" 44 1171 1183 "src/encoding.ml" 44 1171 1184
)
"src/encoding.ml" 53 1530 1583 "src/encoding.ml" 53 1530 1584
type(
  int
)
ident(
  int_ref i "src/encoding.ml" 46 1248 1263 "src/encoding.ml" 46 1248 1264
)
"src/encoding.ml" 53 1530 1580 "src/encoding.ml" 53 1530 1585
type(
  char
)
"src/encoding.ml" 53 1530 1565 "src/encoding.ml" 53 1530 1585
call(
  stack
)
type(
  char
)
"src/encoding.ml" 53 1530 1542 "src/encoding.ml" 53 1530 1585
type(
  bool
)
"src/encoding.ml" 54 1591 1597 "src/encoding.ml" 54 1591 1601
type(
  int -> bool
)
ident(
  int_ref loop "src/encoding.ml" 46 1248 1258 "src/encoding.ml" 46 1248 1262
)
"src/encoding.ml" 54 1591 1603 "src/encoding.ml" 54 1591 1604
type(
  int
)
ident(
  int_ref i "src/encoding.ml" 46 1248 1263 "src/encoding.ml" 46 1248 1264
)
"src/encoding.ml" 54 1591 1605 "src/encoding.ml" 54 1591 1606
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"src/encoding.ml" 54 1591 1607 "src/encoding.ml" 54 1591 1608
type(
  int
)
"src/encoding.ml" 54 1591 1602 "src/encoding.ml" 54 1591 1609
type(
  int
)
"src/encoding.ml" 54 1591 1597 "src/encoding.ml" 54 1591 1609
call(
  tail
)
type(
  bool
)
"src/encoding.ml" 56 1619 1625 "src/encoding.ml" 56 1619 1630
type(
  bool
)
"src/encoding.ml" 53 1530 1539 "src/encoding.ml" 56 1619 1630
type(
  bool
)
"src/encoding.ml" 51 1480 1489 "src/encoding.ml" 56 1619 1630
type(
  bool
)
"src/encoding.ml" 49 1436 1440 "src/encoding.ml" 56 1619 1630
type(
  bool
)
"src/encoding.ml" 47 1267 1271 "src/encoding.ml" 56 1619 1630
type(
  bool
)
"src/encoding.ml" 58 1636 1638 "src/encoding.ml" 58 1636 1642
type(
  int -> bool
)
ident(
  int_ref loop "src/encoding.ml" 46 1248 1258 "src/encoding.ml" 46 1248 1262
)
"src/encoding.ml" 58 1636 1643 "src/encoding.ml" 58 1636 1644
type(
  int
)
"src/encoding.ml" 58 1636 1638 "src/encoding.ml" 58 1636 1644
call(
  tail
)
type(
  bool
)
"src/encoding.ml" 46 1248 1250 "src/encoding.ml" 58 1636 1644
type(
  bool
)
"src/encoding.ml" 45 1187 1189 "src/encoding.ml" 58 1636 1644
type(
  bool
)
"src/encoding.ml" 60 1646 1650 "src/encoding.ml" 60 1646 1663
type(
  src:t -> dst:t -> string -> string
)
ident(
  def recode_string "src/encoding.ml" 64 1719 1753 "src/encoding.ml" 1 0 -1
)
"src/encoding.ml" 60 1646 1665 "src/encoding.ml" 60 1646 1668
type(
  t
)
ident(
  def src "src/encoding.ml" 60 1646 1669 "src/encoding.ml" 64 1719 1753
)
"src/encoding.ml" 60 1646 1670 "src/encoding.ml" 60 1646 1673
type(
  t
)
ident(
  def dst "src/encoding.ml" 60 1646 1674 "src/encoding.ml" 64 1719 1753
)
"src/encoding.ml" 60 1646 1674 "src/encoding.ml" 60 1646 1677
type(
  string
)
ident(
  def str "src/encoding.ml" 61 1680 1682 "src/encoding.ml" 64 1719 1753
)
"src/encoding.ml" 61 1680 1685 "src/encoding.ml" 61 1680 1690
type(
  t -> t -> bool
)
ident(
  int_ref equal "src/encoding.ml" 44 1171 1175 "src/encoding.ml" 44 1171 1180
)
"src/encoding.ml" 61 1680 1691 "src/encoding.ml" 61 1680 1694
type(
  t
)
ident(
  int_ref src "src/encoding.ml" 60 1646 1665 "src/encoding.ml" 60 1646 1668
)
"src/encoding.ml" 61 1680 1695 "src/encoding.ml" 61 1680 1698
type(
  t
)
ident(
  int_ref dst "src/encoding.ml" 60 1646 1670 "src/encoding.ml" 60 1646 1673
)
"src/encoding.ml" 61 1680 1685 "src/encoding.ml" 61 1680 1698
call(
  stack
)
type(
  bool
)
"src/encoding.ml" 62 1704 1708 "src/encoding.ml" 62 1704 1711
type(
  string
)
ident(
  int_ref str "src/encoding.ml" 60 1646 1674 "src/encoding.ml" 60 1646 1677
)
"src/encoding.ml" 64 1719 1723 "src/encoding.ml" 64 1719 1741
type(
  t -> t -> string -> string
)
ident(
  int_ref stub_recode_string "src/encoding.ml" 28 731 731 "src/encoding.ml" 28 731 813
)
"src/encoding.ml" 64 1719 1742 "src/encoding.ml" 64 1719 1745
type(
  t
)
ident(
  int_ref src "src/encoding.ml" 60 1646 1665 "src/encoding.ml" 60 1646 1668
)
"src/encoding.ml" 64 1719 1746 "src/encoding.ml" 64 1719 1749
type(
  t
)
ident(
  int_ref dst "src/encoding.ml" 60 1646 1670 "src/encoding.ml" 60 1646 1673
)
"src/encoding.ml" 64 1719 1750 "src/encoding.ml" 64 1719 1753
type(
  string
)
ident(
  int_ref str "src/encoding.ml" 60 1646 1674 "src/encoding.ml" 60 1646 1677
)
"src/encoding.ml" 64 1719 1723 "src/encoding.ml" 64 1719 1753
type(
  string
)
"src/encoding.ml" 61 1680 1682 "src/encoding.ml" 64 1719 1753
type(
  string
)