"LAP_aulas/Aula2/aula2.ml" 2 15 19 "LAP_aulas/Aula2/aula2.ml" 2 15 20
type(
  int list
)
ident(
  def a "LAP_aulas/Aula2/aula2.ml" 3 37 37 --
)
"LAP_aulas/Aula2/aula2.ml" 2 15 24 "LAP_aulas/Aula2/aula2.ml" 2 15 25
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 2 15 26 "LAP_aulas/Aula2/aula2.ml" 2 15 27
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 2 15 28 "LAP_aulas/Aula2/aula2.ml" 2 15 29
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 2 15 30 "LAP_aulas/Aula2/aula2.ml" 2 15 31
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 2 15 32 "LAP_aulas/Aula2/aula2.ml" 2 15 33
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 2 15 23 "LAP_aulas/Aula2/aula2.ml" 2 15 34
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 3 37 41 "LAP_aulas/Aula2/aula2.ml" 3 37 42
type(
  int list
)
ident(
  def b "LAP_aulas/Aula2/aula2.ml" 6 63 63 --
)
"LAP_aulas/Aula2/aula2.ml" 3 37 46 "LAP_aulas/Aula2/aula2.ml" 3 37 48
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 3 37 49 "LAP_aulas/Aula2/aula2.ml" 3 37 50
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 3 37 51 "LAP_aulas/Aula2/aula2.ml" 3 37 52
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 3 37 53 "LAP_aulas/Aula2/aula2.ml" 3 37 54
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 3 37 55 "LAP_aulas/Aula2/aula2.ml" 3 37 57
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 3 37 45 "LAP_aulas/Aula2/aula2.ml" 3 37 58
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 6 63 71 "LAP_aulas/Aula2/aula2.ml" 6 63 78
type(
  int list -> int list
)
ident(
  def succAll "LAP_aulas/Aula2/aula2.ml" 6 63 63 --
)
"LAP_aulas/Aula2/aula2.ml" 6 63 79 "LAP_aulas/Aula2/aula2.ml" 6 63 80
type(
  int list
)
ident(
  def l "LAP_aulas/Aula2/aula2.ml" 7 84 85 "LAP_aulas/Aula2/aula2.ml" 8 107 138
)
"LAP_aulas/Aula2/aula2.ml" 7 84 91 "LAP_aulas/Aula2/aula2.ml" 7 84 92
type(
  int list
)
ident(
  int_ref l "LAP_aulas/Aula2/aula2.ml" 6 63 79 "LAP_aulas/Aula2/aula2.ml" 6 63 80
)
"LAP_aulas/Aula2/aula2.ml" 7 84 98 "LAP_aulas/Aula2/aula2.ml" 7 84 100
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 7 84 104 "LAP_aulas/Aula2/aula2.ml" 7 84 106
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 8 107 111 "LAP_aulas/Aula2/aula2.ml" 8 107 112
type(
  int
)
ident(
  def x "LAP_aulas/Aula2/aula2.ml" 8 107 121 "LAP_aulas/Aula2/aula2.ml" 8 107 138
)
"LAP_aulas/Aula2/aula2.ml" 8 107 114 "LAP_aulas/Aula2/aula2.ml" 8 107 116
type(
  int list
)
ident(
  def xs "LAP_aulas/Aula2/aula2.ml" 8 107 121 "LAP_aulas/Aula2/aula2.ml" 8 107 138
)
"LAP_aulas/Aula2/aula2.ml" 8 107 111 "LAP_aulas/Aula2/aula2.ml" 8 107 116
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 8 107 122 "LAP_aulas/Aula2/aula2.ml" 8 107 123
type(
  int
)
ident(
  int_ref x "LAP_aulas/Aula2/aula2.ml" 8 107 111 "LAP_aulas/Aula2/aula2.ml" 8 107 112
)
"LAP_aulas/Aula2/aula2.ml" 8 107 123 "LAP_aulas/Aula2/aula2.ml" 8 107 124
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.+
)
"LAP_aulas/Aula2/aula2.ml" 8 107 124 "LAP_aulas/Aula2/aula2.ml" 8 107 125
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 8 107 121 "LAP_aulas/Aula2/aula2.ml" 8 107 126
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 8 107 128 "LAP_aulas/Aula2/aula2.ml" 8 107 135
type(
  int list -> int list
)
ident(
  int_ref succAll "LAP_aulas/Aula2/aula2.ml" 6 63 71 "LAP_aulas/Aula2/aula2.ml" 6 63 78
)
"LAP_aulas/Aula2/aula2.ml" 8 107 136 "LAP_aulas/Aula2/aula2.ml" 8 107 138
type(
  int list
)
ident(
  int_ref xs "LAP_aulas/Aula2/aula2.ml" 8 107 114 "LAP_aulas/Aula2/aula2.ml" 8 107 116
)
"LAP_aulas/Aula2/aula2.ml" 8 107 128 "LAP_aulas/Aula2/aula2.ml" 8 107 138
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 8 107 121 "LAP_aulas/Aula2/aula2.ml" 8 107 138
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 7 84 85 "LAP_aulas/Aula2/aula2.ml" 8 107 138
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 11 172 172 "LAP_aulas/Aula2/aula2.ml" 11 172 179
type(
  int list -> int list
)
ident(
  int_ref succAll "LAP_aulas/Aula2/aula2.ml" 6 63 71 "LAP_aulas/Aula2/aula2.ml" 6 63 78
)
"LAP_aulas/Aula2/aula2.ml" 11 172 181 "LAP_aulas/Aula2/aula2.ml" 11 172 182
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 11 172 183 "LAP_aulas/Aula2/aula2.ml" 11 172 184
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 11 172 185 "LAP_aulas/Aula2/aula2.ml" 11 172 186
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 11 172 187 "LAP_aulas/Aula2/aula2.ml" 11 172 188
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 11 172 180 "LAP_aulas/Aula2/aula2.ml" 11 172 190
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 11 172 172 "LAP_aulas/Aula2/aula2.ml" 11 172 190
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 14 195 203 "LAP_aulas/Aula2/aula2.ml" 14 195 210
type(
  'a -> 'a list -> bool
)
ident(
  def belongs "LAP_aulas/Aula2/aula2.ml" 14 195 195 --
)
"LAP_aulas/Aula2/aula2.ml" 14 195 211 "LAP_aulas/Aula2/aula2.ml" 14 195 212
type(
  'a
)
ident(
  def e "LAP_aulas/Aula2/aula2.ml" 14 195 213 "LAP_aulas/Aula2/aula2.ml" 17 277 301
)
"LAP_aulas/Aula2/aula2.ml" 14 195 213 "LAP_aulas/Aula2/aula2.ml" 14 195 215
type(
  'a list
)
ident(
  def l1 "LAP_aulas/Aula2/aula2.ml" 15 219 220 "LAP_aulas/Aula2/aula2.ml" 17 277 301
)
"LAP_aulas/Aula2/aula2.ml" 15 219 226 "LAP_aulas/Aula2/aula2.ml" 15 219 228
type(
  'a list
)
ident(
  int_ref l1 "LAP_aulas/Aula2/aula2.ml" 14 195 213 "LAP_aulas/Aula2/aula2.ml" 14 195 215
)
"LAP_aulas/Aula2/aula2.ml" 15 219 234 "LAP_aulas/Aula2/aula2.ml" 15 219 236
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 15 219 240 "LAP_aulas/Aula2/aula2.ml" 15 219 245
type(
  bool
)
"LAP_aulas/Aula2/aula2.ml" 16 246 249 "LAP_aulas/Aula2/aula2.ml" 16 246 250
type(
  'a
)
ident(
  def x "LAP_aulas/Aula2/aula2.ml" 16 246 258 "LAP_aulas/Aula2/aula2.ml" 17 277 301
)
"LAP_aulas/Aula2/aula2.ml" 16 246 252 "LAP_aulas/Aula2/aula2.ml" 16 246 254
type(
  'a list
)
ident(
  def xs "LAP_aulas/Aula2/aula2.ml" 16 246 258 "LAP_aulas/Aula2/aula2.ml" 17 277 301
)
"LAP_aulas/Aula2/aula2.ml" 16 246 249 "LAP_aulas/Aula2/aula2.ml" 16 246 254
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 16 246 262 "LAP_aulas/Aula2/aula2.ml" 16 246 263
type(
  'a
)
ident(
  int_ref e "LAP_aulas/Aula2/aula2.ml" 14 195 211 "LAP_aulas/Aula2/aula2.ml" 14 195 212
)
"LAP_aulas/Aula2/aula2.ml" 16 246 263 "LAP_aulas/Aula2/aula2.ml" 16 246 264
type(
  'a -> 'a -> bool
)
ident(
  ext_ref Pervasives.=
)
"LAP_aulas/Aula2/aula2.ml" 16 246 264 "LAP_aulas/Aula2/aula2.ml" 16 246 265
type(
  'a
)
ident(
  int_ref x "LAP_aulas/Aula2/aula2.ml" 16 246 249 "LAP_aulas/Aula2/aula2.ml" 16 246 250
)
"LAP_aulas/Aula2/aula2.ml" 16 246 261 "LAP_aulas/Aula2/aula2.ml" 16 246 266
type(
  bool
)
"LAP_aulas/Aula2/aula2.ml" 16 246 272 "LAP_aulas/Aula2/aula2.ml" 16 246 276
type(
  bool
)
"LAP_aulas/Aula2/aula2.ml" 17 277 289 "LAP_aulas/Aula2/aula2.ml" 17 277 296
type(
  'a -> 'a list -> bool
)
ident(
  int_ref belongs "LAP_aulas/Aula2/aula2.ml" 14 195 203 "LAP_aulas/Aula2/aula2.ml" 14 195 210
)
"LAP_aulas/Aula2/aula2.ml" 17 277 297 "LAP_aulas/Aula2/aula2.ml" 17 277 298
type(
  'a
)
ident(
  int_ref e "LAP_aulas/Aula2/aula2.ml" 14 195 211 "LAP_aulas/Aula2/aula2.ml" 14 195 212
)
"LAP_aulas/Aula2/aula2.ml" 17 277 299 "LAP_aulas/Aula2/aula2.ml" 17 277 301
type(
  'a list
)
ident(
  int_ref xs "LAP_aulas/Aula2/aula2.ml" 16 246 252 "LAP_aulas/Aula2/aula2.ml" 16 246 254
)
"LAP_aulas/Aula2/aula2.ml" 17 277 289 "LAP_aulas/Aula2/aula2.ml" 17 277 301
type(
  bool
)
"LAP_aulas/Aula2/aula2.ml" 16 246 258 "LAP_aulas/Aula2/aula2.ml" 17 277 301
type(
  bool
)
"LAP_aulas/Aula2/aula2.ml" 15 219 220 "LAP_aulas/Aula2/aula2.ml" 17 277 301
type(
  bool
)
"LAP_aulas/Aula2/aula2.ml" 20 327 327 "LAP_aulas/Aula2/aula2.ml" 20 327 334
type(
  int -> int list -> bool
)
ident(
  int_ref belongs "LAP_aulas/Aula2/aula2.ml" 14 195 203 "LAP_aulas/Aula2/aula2.ml" 14 195 210
)
"LAP_aulas/Aula2/aula2.ml" 20 327 335 "LAP_aulas/Aula2/aula2.ml" 20 327 337
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 20 327 338 "LAP_aulas/Aula2/aula2.ml" 20 327 339
type(
  int list
)
ident(
  int_ref b "LAP_aulas/Aula2/aula2.ml" 3 37 41 "LAP_aulas/Aula2/aula2.ml" 3 37 42
)
"LAP_aulas/Aula2/aula2.ml" 20 327 327 "LAP_aulas/Aula2/aula2.ml" 20 327 339
type(
  bool
)
"LAP_aulas/Aula2/aula2.ml" 21 342 342 "LAP_aulas/Aula2/aula2.ml" 21 342 349
type(
  int -> int list -> bool
)
ident(
  int_ref belongs "LAP_aulas/Aula2/aula2.ml" 14 195 203 "LAP_aulas/Aula2/aula2.ml" 14 195 210
)
"LAP_aulas/Aula2/aula2.ml" 21 342 350 "LAP_aulas/Aula2/aula2.ml" 21 342 351
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 21 342 352 "LAP_aulas/Aula2/aula2.ml" 21 342 353
type(
  int list
)
ident(
  int_ref b "LAP_aulas/Aula2/aula2.ml" 3 37 41 "LAP_aulas/Aula2/aula2.ml" 3 37 42
)
"LAP_aulas/Aula2/aula2.ml" 21 342 342 "LAP_aulas/Aula2/aula2.ml" 21 342 353
type(
  bool
)
"LAP_aulas/Aula2/aula2.ml" 22 356 356 "LAP_aulas/Aula2/aula2.ml" 22 356 363
type(
  int -> int list -> bool
)
ident(
  int_ref belongs "LAP_aulas/Aula2/aula2.ml" 14 195 203 "LAP_aulas/Aula2/aula2.ml" 14 195 210
)
"LAP_aulas/Aula2/aula2.ml" 22 356 364 "LAP_aulas/Aula2/aula2.ml" 22 356 365
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 22 356 366 "LAP_aulas/Aula2/aula2.ml" 22 356 368
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 22 356 356 "LAP_aulas/Aula2/aula2.ml" 22 356 368
type(
  bool
)
"LAP_aulas/Aula2/aula2.ml" 25 373 381 "LAP_aulas/Aula2/aula2.ml" 25 373 386
type(
  'a list -> 'a list -> 'a list
)
ident(
  def union "LAP_aulas/Aula2/aula2.ml" 25 373 373 --
)
"LAP_aulas/Aula2/aula2.ml" 25 373 387 "LAP_aulas/Aula2/aula2.ml" 25 373 389
type(
  'a list
)
ident(
  def l1 "LAP_aulas/Aula2/aula2.ml" 25 373 390 "LAP_aulas/Aula2/aula2.ml" 28 467 489
)
"LAP_aulas/Aula2/aula2.ml" 25 373 390 "LAP_aulas/Aula2/aula2.ml" 25 373 392
type(
  'a list
)
ident(
  def l2 "LAP_aulas/Aula2/aula2.ml" 26 396 398 "LAP_aulas/Aula2/aula2.ml" 28 467 489
)
"LAP_aulas/Aula2/aula2.ml" 26 396 404 "LAP_aulas/Aula2/aula2.ml" 26 396 406
type(
  'a list
)
ident(
  int_ref l1 "LAP_aulas/Aula2/aula2.ml" 25 373 387 "LAP_aulas/Aula2/aula2.ml" 25 373 389
)
"LAP_aulas/Aula2/aula2.ml" 26 396 412 "LAP_aulas/Aula2/aula2.ml" 26 396 414
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 26 396 418 "LAP_aulas/Aula2/aula2.ml" 26 396 420
type(
  'a list
)
ident(
  int_ref l2 "LAP_aulas/Aula2/aula2.ml" 25 373 390 "LAP_aulas/Aula2/aula2.ml" 25 373 392
)
"LAP_aulas/Aula2/aula2.ml" 27 421 425 "LAP_aulas/Aula2/aula2.ml" 27 421 426
type(
  'a
)
ident(
  def x "LAP_aulas/Aula2/aula2.ml" 27 421 434 "LAP_aulas/Aula2/aula2.ml" 28 467 489
)
"LAP_aulas/Aula2/aula2.ml" 27 421 428 "LAP_aulas/Aula2/aula2.ml" 27 421 430
type(
  'a list
)
ident(
  def xs "LAP_aulas/Aula2/aula2.ml" 27 421 434 "LAP_aulas/Aula2/aula2.ml" 28 467 489
)
"LAP_aulas/Aula2/aula2.ml" 27 421 425 "LAP_aulas/Aula2/aula2.ml" 27 421 430
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 27 421 437 "LAP_aulas/Aula2/aula2.ml" 27 421 444
type(
  'a -> 'a list -> bool
)
ident(
  int_ref belongs "LAP_aulas/Aula2/aula2.ml" 14 195 203 "LAP_aulas/Aula2/aula2.ml" 14 195 210
)
"LAP_aulas/Aula2/aula2.ml" 27 421 445 "LAP_aulas/Aula2/aula2.ml" 27 421 446
type(
  'a
)
ident(
  int_ref x "LAP_aulas/Aula2/aula2.ml" 27 421 425 "LAP_aulas/Aula2/aula2.ml" 27 421 426
)
"LAP_aulas/Aula2/aula2.ml" 27 421 447 "LAP_aulas/Aula2/aula2.ml" 27 421 449
type(
  'a list
)
ident(
  int_ref l2 "LAP_aulas/Aula2/aula2.ml" 25 373 390 "LAP_aulas/Aula2/aula2.ml" 25 373 392
)
"LAP_aulas/Aula2/aula2.ml" 27 421 437 "LAP_aulas/Aula2/aula2.ml" 27 421 449
type(
  bool
)
"LAP_aulas/Aula2/aula2.ml" 27 421 455 "LAP_aulas/Aula2/aula2.ml" 27 421 460
type(
  'a list -> 'a list -> 'a list
)
ident(
  int_ref union "LAP_aulas/Aula2/aula2.ml" 25 373 381 "LAP_aulas/Aula2/aula2.ml" 25 373 386
)
"LAP_aulas/Aula2/aula2.ml" 27 421 461 "LAP_aulas/Aula2/aula2.ml" 27 421 463
type(
  'a list
)
ident(
  int_ref xs "LAP_aulas/Aula2/aula2.ml" 27 421 428 "LAP_aulas/Aula2/aula2.ml" 27 421 430
)
"LAP_aulas/Aula2/aula2.ml" 27 421 464 "LAP_aulas/Aula2/aula2.ml" 27 421 466
type(
  'a list
)
ident(
  int_ref l2 "LAP_aulas/Aula2/aula2.ml" 25 373 390 "LAP_aulas/Aula2/aula2.ml" 25 373 392
)
"LAP_aulas/Aula2/aula2.ml" 27 421 455 "LAP_aulas/Aula2/aula2.ml" 27 421 466
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 28 467 475 "LAP_aulas/Aula2/aula2.ml" 28 467 476
type(
  'a
)
ident(
  int_ref x "LAP_aulas/Aula2/aula2.ml" 27 421 425 "LAP_aulas/Aula2/aula2.ml" 27 421 426
)
"LAP_aulas/Aula2/aula2.ml" 28 467 478 "LAP_aulas/Aula2/aula2.ml" 28 467 483
type(
  'a list -> 'a list -> 'a list
)
ident(
  int_ref union "LAP_aulas/Aula2/aula2.ml" 25 373 381 "LAP_aulas/Aula2/aula2.ml" 25 373 386
)
"LAP_aulas/Aula2/aula2.ml" 28 467 484 "LAP_aulas/Aula2/aula2.ml" 28 467 486
type(
  'a list
)
ident(
  int_ref xs "LAP_aulas/Aula2/aula2.ml" 27 421 428 "LAP_aulas/Aula2/aula2.ml" 27 421 430
)
"LAP_aulas/Aula2/aula2.ml" 28 467 487 "LAP_aulas/Aula2/aula2.ml" 28 467 489
type(
  'a list
)
ident(
  int_ref l2 "LAP_aulas/Aula2/aula2.ml" 25 373 390 "LAP_aulas/Aula2/aula2.ml" 25 373 392
)
"LAP_aulas/Aula2/aula2.ml" 28 467 478 "LAP_aulas/Aula2/aula2.ml" 28 467 489
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 28 467 475 "LAP_aulas/Aula2/aula2.ml" 28 467 489
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 27 421 434 "LAP_aulas/Aula2/aula2.ml" 28 467 489
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 26 396 398 "LAP_aulas/Aula2/aula2.ml" 28 467 489
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 31 515 515 "LAP_aulas/Aula2/aula2.ml" 31 515 520
type(
  int list -> int list -> int list
)
ident(
  int_ref union "LAP_aulas/Aula2/aula2.ml" 25 373 381 "LAP_aulas/Aula2/aula2.ml" 25 373 386
)
"LAP_aulas/Aula2/aula2.ml" 31 515 521 "LAP_aulas/Aula2/aula2.ml" 31 515 522
type(
  int list
)
ident(
  int_ref a "LAP_aulas/Aula2/aula2.ml" 2 15 19 "LAP_aulas/Aula2/aula2.ml" 2 15 20
)
"LAP_aulas/Aula2/aula2.ml" 31 515 524 "LAP_aulas/Aula2/aula2.ml" 31 515 525
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 31 515 526 "LAP_aulas/Aula2/aula2.ml" 31 515 527
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 31 515 528 "LAP_aulas/Aula2/aula2.ml" 31 515 529
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 31 515 523 "LAP_aulas/Aula2/aula2.ml" 31 515 530
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 31 515 515 "LAP_aulas/Aula2/aula2.ml" 31 515 530
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 32 533 533 "LAP_aulas/Aula2/aula2.ml" 32 533 538
type(
  int list -> int list -> int list
)
ident(
  int_ref union "LAP_aulas/Aula2/aula2.ml" 25 373 381 "LAP_aulas/Aula2/aula2.ml" 25 373 386
)
"LAP_aulas/Aula2/aula2.ml" 32 533 539 "LAP_aulas/Aula2/aula2.ml" 32 533 540
type(
  int list
)
ident(
  int_ref b "LAP_aulas/Aula2/aula2.ml" 3 37 41 "LAP_aulas/Aula2/aula2.ml" 3 37 42
)
"LAP_aulas/Aula2/aula2.ml" 32 533 541 "LAP_aulas/Aula2/aula2.ml" 32 533 543
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 32 533 533 "LAP_aulas/Aula2/aula2.ml" 32 533 543
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 33 546 546 "LAP_aulas/Aula2/aula2.ml" 33 546 551
type(
  int list -> int list -> int list
)
ident(
  int_ref union "LAP_aulas/Aula2/aula2.ml" 25 373 381 "LAP_aulas/Aula2/aula2.ml" 25 373 386
)
"LAP_aulas/Aula2/aula2.ml" 33 546 552 "LAP_aulas/Aula2/aula2.ml" 33 546 554
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 33 546 555 "LAP_aulas/Aula2/aula2.ml" 33 546 556
type(
  int list
)
ident(
  int_ref a "LAP_aulas/Aula2/aula2.ml" 2 15 19 "LAP_aulas/Aula2/aula2.ml" 2 15 20
)
"LAP_aulas/Aula2/aula2.ml" 33 546 546 "LAP_aulas/Aula2/aula2.ml" 33 546 556
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 34 559 559 "LAP_aulas/Aula2/aula2.ml" 34 559 564
type(
  int list -> int list -> int list
)
ident(
  int_ref union "LAP_aulas/Aula2/aula2.ml" 25 373 381 "LAP_aulas/Aula2/aula2.ml" 25 373 386
)
"LAP_aulas/Aula2/aula2.ml" 34 559 565 "LAP_aulas/Aula2/aula2.ml" 34 559 566
type(
  int list
)
ident(
  int_ref a "LAP_aulas/Aula2/aula2.ml" 2 15 19 "LAP_aulas/Aula2/aula2.ml" 2 15 20
)
"LAP_aulas/Aula2/aula2.ml" 34 559 567 "LAP_aulas/Aula2/aula2.ml" 34 559 568
type(
  int list
)
ident(
  int_ref b "LAP_aulas/Aula2/aula2.ml" 3 37 41 "LAP_aulas/Aula2/aula2.ml" 3 37 42
)
"LAP_aulas/Aula2/aula2.ml" 34 559 559 "LAP_aulas/Aula2/aula2.ml" 34 559 568
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 37 573 581 "LAP_aulas/Aula2/aula2.ml" 37 573 586
type(
  'a list -> 'a list -> 'a list
)
ident(
  def inter "LAP_aulas/Aula2/aula2.ml" 37 573 573 --
)
"LAP_aulas/Aula2/aula2.ml" 37 573 587 "LAP_aulas/Aula2/aula2.ml" 37 573 589
type(
  'a list
)
ident(
  def l1 "LAP_aulas/Aula2/aula2.ml" 37 573 590 "LAP_aulas/Aula2/aula2.ml" 40 669 686
)
"LAP_aulas/Aula2/aula2.ml" 37 573 590 "LAP_aulas/Aula2/aula2.ml" 37 573 592
type(
  'a list
)
ident(
  def l2 "LAP_aulas/Aula2/aula2.ml" 38 595 596 "LAP_aulas/Aula2/aula2.ml" 40 669 686
)
"LAP_aulas/Aula2/aula2.ml" 38 595 602 "LAP_aulas/Aula2/aula2.ml" 38 595 604
type(
  'a list
)
ident(
  int_ref l1 "LAP_aulas/Aula2/aula2.ml" 37 573 587 "LAP_aulas/Aula2/aula2.ml" 37 573 589
)
"LAP_aulas/Aula2/aula2.ml" 38 595 610 "LAP_aulas/Aula2/aula2.ml" 38 595 612
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 38 595 616 "LAP_aulas/Aula2/aula2.ml" 38 595 618
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 39 619 622 "LAP_aulas/Aula2/aula2.ml" 39 619 623
type(
  'a
)
ident(
  def x "LAP_aulas/Aula2/aula2.ml" 39 619 631 "LAP_aulas/Aula2/aula2.ml" 40 669 686
)
"LAP_aulas/Aula2/aula2.ml" 39 619 625 "LAP_aulas/Aula2/aula2.ml" 39 619 627
type(
  'a list
)
ident(
  def xs "LAP_aulas/Aula2/aula2.ml" 39 619 631 "LAP_aulas/Aula2/aula2.ml" 40 669 686
)
"LAP_aulas/Aula2/aula2.ml" 39 619 622 "LAP_aulas/Aula2/aula2.ml" 39 619 627
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 39 619 634 "LAP_aulas/Aula2/aula2.ml" 39 619 641
type(
  'a -> 'a list -> bool
)
ident(
  int_ref belongs "LAP_aulas/Aula2/aula2.ml" 14 195 203 "LAP_aulas/Aula2/aula2.ml" 14 195 210
)
"LAP_aulas/Aula2/aula2.ml" 39 619 642 "LAP_aulas/Aula2/aula2.ml" 39 619 643
type(
  'a
)
ident(
  int_ref x "LAP_aulas/Aula2/aula2.ml" 39 619 622 "LAP_aulas/Aula2/aula2.ml" 39 619 623
)
"LAP_aulas/Aula2/aula2.ml" 39 619 644 "LAP_aulas/Aula2/aula2.ml" 39 619 646
type(
  'a list
)
ident(
  int_ref l2 "LAP_aulas/Aula2/aula2.ml" 37 573 590 "LAP_aulas/Aula2/aula2.ml" 37 573 592
)
"LAP_aulas/Aula2/aula2.ml" 39 619 634 "LAP_aulas/Aula2/aula2.ml" 39 619 646
type(
  bool
)
"LAP_aulas/Aula2/aula2.ml" 39 619 652 "LAP_aulas/Aula2/aula2.ml" 39 619 653
type(
  'a
)
ident(
  int_ref x "LAP_aulas/Aula2/aula2.ml" 39 619 622 "LAP_aulas/Aula2/aula2.ml" 39 619 623
)
"LAP_aulas/Aula2/aula2.ml" 39 619 656 "LAP_aulas/Aula2/aula2.ml" 39 619 661
type(
  'a list -> 'a list -> 'a list
)
ident(
  int_ref inter "LAP_aulas/Aula2/aula2.ml" 37 573 581 "LAP_aulas/Aula2/aula2.ml" 37 573 586
)
"LAP_aulas/Aula2/aula2.ml" 39 619 662 "LAP_aulas/Aula2/aula2.ml" 39 619 664
type(
  'a list
)
ident(
  int_ref xs "LAP_aulas/Aula2/aula2.ml" 39 619 625 "LAP_aulas/Aula2/aula2.ml" 39 619 627
)
"LAP_aulas/Aula2/aula2.ml" 39 619 665 "LAP_aulas/Aula2/aula2.ml" 39 619 667
type(
  'a list
)
ident(
  int_ref l2 "LAP_aulas/Aula2/aula2.ml" 37 573 590 "LAP_aulas/Aula2/aula2.ml" 37 573 592
)
"LAP_aulas/Aula2/aula2.ml" 39 619 655 "LAP_aulas/Aula2/aula2.ml" 39 619 668
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 39 619 652 "LAP_aulas/Aula2/aula2.ml" 39 619 668
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 40 669 675 "LAP_aulas/Aula2/aula2.ml" 40 669 680
type(
  'a list -> 'a list -> 'a list
)
ident(
  int_ref inter "LAP_aulas/Aula2/aula2.ml" 37 573 581 "LAP_aulas/Aula2/aula2.ml" 37 573 586
)
"LAP_aulas/Aula2/aula2.ml" 40 669 681 "LAP_aulas/Aula2/aula2.ml" 40 669 683
type(
  'a list
)
ident(
  int_ref xs "LAP_aulas/Aula2/aula2.ml" 39 619 625 "LAP_aulas/Aula2/aula2.ml" 39 619 627
)
"LAP_aulas/Aula2/aula2.ml" 40 669 684 "LAP_aulas/Aula2/aula2.ml" 40 669 686
type(
  'a list
)
ident(
  int_ref l2 "LAP_aulas/Aula2/aula2.ml" 37 573 590 "LAP_aulas/Aula2/aula2.ml" 37 573 592
)
"LAP_aulas/Aula2/aula2.ml" 40 669 675 "LAP_aulas/Aula2/aula2.ml" 40 669 686
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 39 619 631 "LAP_aulas/Aula2/aula2.ml" 40 669 686
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 38 595 596 "LAP_aulas/Aula2/aula2.ml" 40 669 686
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 43 710 710 "LAP_aulas/Aula2/aula2.ml" 43 710 715
type(
  int list -> int list -> int list
)
ident(
  int_ref inter "LAP_aulas/Aula2/aula2.ml" 37 573 581 "LAP_aulas/Aula2/aula2.ml" 37 573 586
)
"LAP_aulas/Aula2/aula2.ml" 43 710 716 "LAP_aulas/Aula2/aula2.ml" 43 710 717
type(
  int list
)
ident(
  int_ref a "LAP_aulas/Aula2/aula2.ml" 2 15 19 "LAP_aulas/Aula2/aula2.ml" 2 15 20
)
"LAP_aulas/Aula2/aula2.ml" 43 710 718 "LAP_aulas/Aula2/aula2.ml" 43 710 719
type(
  int list
)
ident(
  int_ref b "LAP_aulas/Aula2/aula2.ml" 3 37 41 "LAP_aulas/Aula2/aula2.ml" 3 37 42
)
"LAP_aulas/Aula2/aula2.ml" 43 710 710 "LAP_aulas/Aula2/aula2.ml" 43 710 719
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 44 722 722 "LAP_aulas/Aula2/aula2.ml" 44 722 727
type(
  int list -> int list -> int list
)
ident(
  int_ref inter "LAP_aulas/Aula2/aula2.ml" 37 573 581 "LAP_aulas/Aula2/aula2.ml" 37 573 586
)
"LAP_aulas/Aula2/aula2.ml" 44 722 728 "LAP_aulas/Aula2/aula2.ml" 44 722 729
type(
  int list
)
ident(
  int_ref a "LAP_aulas/Aula2/aula2.ml" 2 15 19 "LAP_aulas/Aula2/aula2.ml" 2 15 20
)
"LAP_aulas/Aula2/aula2.ml" 44 722 730 "LAP_aulas/Aula2/aula2.ml" 44 722 732
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 44 722 722 "LAP_aulas/Aula2/aula2.ml" 44 722 732
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 45 735 735 "LAP_aulas/Aula2/aula2.ml" 45 735 740
type(
  int list -> int list -> int list
)
ident(
  int_ref inter "LAP_aulas/Aula2/aula2.ml" 37 573 581 "LAP_aulas/Aula2/aula2.ml" 37 573 586
)
"LAP_aulas/Aula2/aula2.ml" 45 735 741 "LAP_aulas/Aula2/aula2.ml" 45 735 742
type(
  int list
)
ident(
  int_ref b "LAP_aulas/Aula2/aula2.ml" 3 37 41 "LAP_aulas/Aula2/aula2.ml" 3 37 42
)
"LAP_aulas/Aula2/aula2.ml" 45 735 744 "LAP_aulas/Aula2/aula2.ml" 45 735 745
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 45 735 746 "LAP_aulas/Aula2/aula2.ml" 45 735 747
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 45 735 748 "LAP_aulas/Aula2/aula2.ml" 45 735 749
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 45 735 743 "LAP_aulas/Aula2/aula2.ml" 45 735 750
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 45 735 735 "LAP_aulas/Aula2/aula2.ml" 45 735 750
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 48 755 763 "LAP_aulas/Aula2/aula2.ml" 48 755 767
type(
  'a list -> 'a list -> 'a list
)
ident(
  def diff "LAP_aulas/Aula2/aula2.ml" 48 755 755 --
)
"LAP_aulas/Aula2/aula2.ml" 48 755 768 "LAP_aulas/Aula2/aula2.ml" 48 755 770
type(
  'a list
)
ident(
  def l1 "LAP_aulas/Aula2/aula2.ml" 48 755 771 "LAP_aulas/Aula2/aula2.ml" 51 844 864
)
"LAP_aulas/Aula2/aula2.ml" 48 755 771 "LAP_aulas/Aula2/aula2.ml" 48 755 773
type(
  'a list
)
ident(
  def l2 "LAP_aulas/Aula2/aula2.ml" 49 776 777 "LAP_aulas/Aula2/aula2.ml" 51 844 864
)
"LAP_aulas/Aula2/aula2.ml" 49 776 783 "LAP_aulas/Aula2/aula2.ml" 49 776 785
type(
  'a list
)
ident(
  int_ref l1 "LAP_aulas/Aula2/aula2.ml" 48 755 768 "LAP_aulas/Aula2/aula2.ml" 48 755 770
)
"LAP_aulas/Aula2/aula2.ml" 49 776 791 "LAP_aulas/Aula2/aula2.ml" 49 776 793
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 49 776 797 "LAP_aulas/Aula2/aula2.ml" 49 776 799
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 50 800 803 "LAP_aulas/Aula2/aula2.ml" 50 800 804
type(
  'a
)
ident(
  def x "LAP_aulas/Aula2/aula2.ml" 50 800 812 "LAP_aulas/Aula2/aula2.ml" 51 844 864
)
"LAP_aulas/Aula2/aula2.ml" 50 800 806 "LAP_aulas/Aula2/aula2.ml" 50 800 808
type(
  'a list
)
ident(
  def xs "LAP_aulas/Aula2/aula2.ml" 50 800 812 "LAP_aulas/Aula2/aula2.ml" 51 844 864
)
"LAP_aulas/Aula2/aula2.ml" 50 800 803 "LAP_aulas/Aula2/aula2.ml" 50 800 808
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 50 800 815 "LAP_aulas/Aula2/aula2.ml" 50 800 822
type(
  'a -> 'a list -> bool
)
ident(
  int_ref belongs "LAP_aulas/Aula2/aula2.ml" 14 195 203 "LAP_aulas/Aula2/aula2.ml" 14 195 210
)
"LAP_aulas/Aula2/aula2.ml" 50 800 823 "LAP_aulas/Aula2/aula2.ml" 50 800 824
type(
  'a
)
ident(
  int_ref x "LAP_aulas/Aula2/aula2.ml" 50 800 803 "LAP_aulas/Aula2/aula2.ml" 50 800 804
)
"LAP_aulas/Aula2/aula2.ml" 50 800 825 "LAP_aulas/Aula2/aula2.ml" 50 800 827
type(
  'a list
)
ident(
  int_ref l2 "LAP_aulas/Aula2/aula2.ml" 48 755 771 "LAP_aulas/Aula2/aula2.ml" 48 755 773
)
"LAP_aulas/Aula2/aula2.ml" 50 800 815 "LAP_aulas/Aula2/aula2.ml" 50 800 827
type(
  bool
)
"LAP_aulas/Aula2/aula2.ml" 50 800 833 "LAP_aulas/Aula2/aula2.ml" 50 800 837
type(
  'a list -> 'a list -> 'a list
)
ident(
  int_ref diff "LAP_aulas/Aula2/aula2.ml" 48 755 763 "LAP_aulas/Aula2/aula2.ml" 48 755 767
)
"LAP_aulas/Aula2/aula2.ml" 50 800 838 "LAP_aulas/Aula2/aula2.ml" 50 800 840
type(
  'a list
)
ident(
  int_ref xs "LAP_aulas/Aula2/aula2.ml" 50 800 806 "LAP_aulas/Aula2/aula2.ml" 50 800 808
)
"LAP_aulas/Aula2/aula2.ml" 50 800 841 "LAP_aulas/Aula2/aula2.ml" 50 800 843
type(
  'a list
)
ident(
  int_ref l2 "LAP_aulas/Aula2/aula2.ml" 48 755 771 "LAP_aulas/Aula2/aula2.ml" 48 755 773
)
"LAP_aulas/Aula2/aula2.ml" 50 800 833 "LAP_aulas/Aula2/aula2.ml" 50 800 843
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 51 844 850 "LAP_aulas/Aula2/aula2.ml" 51 844 851
type(
  'a
)
ident(
  int_ref x "LAP_aulas/Aula2/aula2.ml" 50 800 803 "LAP_aulas/Aula2/aula2.ml" 50 800 804
)
"LAP_aulas/Aula2/aula2.ml" 51 844 854 "LAP_aulas/Aula2/aula2.ml" 51 844 858
type(
  'a list -> 'a list -> 'a list
)
ident(
  int_ref diff "LAP_aulas/Aula2/aula2.ml" 48 755 763 "LAP_aulas/Aula2/aula2.ml" 48 755 767
)
"LAP_aulas/Aula2/aula2.ml" 51 844 859 "LAP_aulas/Aula2/aula2.ml" 51 844 861
type(
  'a list
)
ident(
  int_ref xs "LAP_aulas/Aula2/aula2.ml" 50 800 806 "LAP_aulas/Aula2/aula2.ml" 50 800 808
)
"LAP_aulas/Aula2/aula2.ml" 51 844 862 "LAP_aulas/Aula2/aula2.ml" 51 844 864
type(
  'a list
)
ident(
  int_ref l2 "LAP_aulas/Aula2/aula2.ml" 48 755 771 "LAP_aulas/Aula2/aula2.ml" 48 755 773
)
"LAP_aulas/Aula2/aula2.ml" 51 844 854 "LAP_aulas/Aula2/aula2.ml" 51 844 864
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 51 844 850 "LAP_aulas/Aula2/aula2.ml" 51 844 864
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 50 800 812 "LAP_aulas/Aula2/aula2.ml" 51 844 864
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 49 776 777 "LAP_aulas/Aula2/aula2.ml" 51 844 864
type(
  'a list
)
"LAP_aulas/Aula2/aula2.ml" 54 886 886 "LAP_aulas/Aula2/aula2.ml" 54 886 890
type(
  int list -> int list -> int list
)
ident(
  int_ref diff "LAP_aulas/Aula2/aula2.ml" 48 755 763 "LAP_aulas/Aula2/aula2.ml" 48 755 767
)
"LAP_aulas/Aula2/aula2.ml" 54 886 891 "LAP_aulas/Aula2/aula2.ml" 54 886 892
type(
  int list
)
ident(
  int_ref a "LAP_aulas/Aula2/aula2.ml" 2 15 19 "LAP_aulas/Aula2/aula2.ml" 2 15 20
)
"LAP_aulas/Aula2/aula2.ml" 54 886 893 "LAP_aulas/Aula2/aula2.ml" 54 886 894
type(
  int list
)
ident(
  int_ref b "LAP_aulas/Aula2/aula2.ml" 3 37 41 "LAP_aulas/Aula2/aula2.ml" 3 37 42
)
"LAP_aulas/Aula2/aula2.ml" 54 886 886 "LAP_aulas/Aula2/aula2.ml" 54 886 894
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 55 897 897 "LAP_aulas/Aula2/aula2.ml" 55 897 901
type(
  int list -> int list -> int list
)
ident(
  int_ref diff "LAP_aulas/Aula2/aula2.ml" 48 755 763 "LAP_aulas/Aula2/aula2.ml" 48 755 767
)
"LAP_aulas/Aula2/aula2.ml" 55 897 902 "LAP_aulas/Aula2/aula2.ml" 55 897 903
type(
  int list
)
ident(
  int_ref a "LAP_aulas/Aula2/aula2.ml" 2 15 19 "LAP_aulas/Aula2/aula2.ml" 2 15 20
)
"LAP_aulas/Aula2/aula2.ml" 55 897 904 "LAP_aulas/Aula2/aula2.ml" 55 897 906
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 55 897 897 "LAP_aulas/Aula2/aula2.ml" 55 897 906
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 56 909 909 "LAP_aulas/Aula2/aula2.ml" 56 909 913
type(
  int list -> int list -> int list
)
ident(
  int_ref diff "LAP_aulas/Aula2/aula2.ml" 48 755 763 "LAP_aulas/Aula2/aula2.ml" 48 755 767
)
"LAP_aulas/Aula2/aula2.ml" 56 909 915 "LAP_aulas/Aula2/aula2.ml" 56 909 916
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 56 909 917 "LAP_aulas/Aula2/aula2.ml" 56 909 918
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 56 909 919 "LAP_aulas/Aula2/aula2.ml" 56 909 920
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 56 909 914 "LAP_aulas/Aula2/aula2.ml" 56 909 921
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 56 909 923 "LAP_aulas/Aula2/aula2.ml" 56 909 924
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 56 909 925 "LAP_aulas/Aula2/aula2.ml" 56 909 926
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 56 909 927 "LAP_aulas/Aula2/aula2.ml" 56 909 928
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 56 909 929 "LAP_aulas/Aula2/aula2.ml" 56 909 930
type(
  int
)
"LAP_aulas/Aula2/aula2.ml" 56 909 922 "LAP_aulas/Aula2/aula2.ml" 56 909 931
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 56 909 909 "LAP_aulas/Aula2/aula2.ml" 56 909 931
type(
  int list
)
"LAP_aulas/Aula2/aula2.ml" 59 955 963 "LAP_aulas/Aula2/aula2.ml" 59 955 966
type(
  '_a list -> '_b list -> '_c
)
ident(
  def ins "LAP_aulas/Aula2/aula2.ml" 59 955 955 --
)
"LAP_aulas/Aula2/aula2.ml" 59 955 967 "LAP_aulas/Aula2/aula2.ml" 59 955 968
type(
  '_a list
)
ident(
  def x "LAP_aulas/Aula2/aula2.ml" 59 955 969 "LAP_aulas/Aula2/aula2.ml" 62 1000 1029
)
"LAP_aulas/Aula2/aula2.ml" 59 955 969 "LAP_aulas/Aula2/aula2.ml" 59 955 971
type(
  '_b list
)
ident(
  def ll "LAP_aulas/Aula2/aula2.ml" 60 973 974 "LAP_aulas/Aula2/aula2.ml" 62 1000 1029
)
"LAP_aulas/Aula2/aula2.ml" 60 973 980 "LAP_aulas/Aula2/aula2.ml" 60 973 982
type(
  '_b list
)
ident(
  int_ref ll "LAP_aulas/Aula2/aula2.ml" 59 955 969 "LAP_aulas/Aula2/aula2.ml" 59 955 971
)
"LAP_aulas/Aula2/aula2.ml" 61 988 990 "LAP_aulas/Aula2/aula2.ml" 61 988 992
type(
  '_b list
)
"LAP_aulas/Aula2/aula2.ml" 61 988 997 "LAP_aulas/Aula2/aula2.ml" 61 988 998
type(
  '_a list
)
ident(
  int_ref x "LAP_aulas/Aula2/aula2.ml" 59 955 967 "LAP_aulas/Aula2/aula2.ml" 59 955 968
)
"LAP_aulas/Aula2/aula2.ml" 61 988 996 "LAP_aulas/Aula2/aula2.ml" 61 988 999
type(
  '_a list list
)
"LAP_aulas/Aula2/aula2.ml" 62 1000 1004 "LAP_aulas/Aula2/aula2.ml" 62 1000 1005
type(
  '_b
)
ident(
  def l "LAP_aulas/Aula2/aula2.ml" 62 1000 1013 "LAP_aulas/Aula2/aula2.ml" 62 1000 1029
)
"LAP_aulas/Aula2/aula2.ml" 62 1000 1007 "LAP_aulas/Aula2/aula2.ml" 62 1000 1009
type(
  '_b list
)
ident(
  def ls "LAP_aulas/Aula2/aula2.ml" 62 1000 1013 "LAP_aulas/Aula2/aula2.ml" 62 1000 1029
)
"LAP_aulas/Aula2/aula2.ml" 62 1000 1004 "LAP_aulas/Aula2/aula2.ml" 62 1000 1009
type(
  '_b list
)
"LAP_aulas/Aula2/aula2.ml" 62 1000 1014 "LAP_aulas/Aula2/aula2.ml" 62 1000 1015
type(
  '_a list
)
ident(
  int_ref x "LAP_aulas/Aula2/aula2.ml" 59 955 967 "LAP_aulas/Aula2/aula2.ml" 59 955 968
)
"LAP_aulas/Aula2/aula2.ml" 62 1000 1013 "LAP_aulas/Aula2/aula2.ml" 62 1000 1019
type(
  '_a list
)
"LAP_aulas/Aula2/aula2.ml" 62 1000 1013 "LAP_aulas/Aula2/aula2.ml" 62 1000 1029
type(
  '_a list list
)