Indexed shapes:
Resolved: Index_constrs_records.47:
  r (File "index_constrs_records.ml", line 52, characters 22-23)
Resolved: Index_constrs_records.38:
  lbl (File "index_constrs_records.ml", line 52, characters 24-27)
Unresolved: CU Stdlib . "ignore"[value] :
  ignore (File "index_constrs_records.ml", line 52, characters 15-21)
Resolved: Index_constrs_records.45:
  Mod (File "index_constrs_records.ml", line 52, characters 4-7)
Resolved: Index_constrs_records.39:
  Mod.A (File "index_constrs_records.ml", line 52, characters 4-9)
Resolved: Index_constrs_records.38:
  lbl (File "index_constrs_records.ml", line 51, characters 12-15)
Resolved: Index_constrs_records.45:
  Mod (File "index_constrs_records.ml", line 51, characters 4-7)
Resolved: Index_constrs_records.39:
  Mod.A (File "index_constrs_records.ml", line 51, characters 4-9)
Resolved: Index_constrs_records.38:
  lbl (File "index_constrs_records.ml", line 50, characters 16-19)
Resolved: Index_constrs_records.45:
  Mod (File "index_constrs_records.ml", line 50, characters 8-11)
Resolved: Index_constrs_records.39:
  Mod.A (File "index_constrs_records.ml", line 50, characters 8-13)
Resolved: Index_constrs_records.36:
  l_exn (File "index_constrs_records.ml", line 43, characters 21-26)
Resolved: Index_constrs_records.32:
  l_exn (File "index_constrs_records.ml", line 43, characters 10-15)
Resolved: Index_constrs_records.33:
  Exn (File "index_constrs_records.ml", line 43, characters 4-7)
Resolved: Index_constrs_records.35:
  e (File "index_constrs_records.ml", line 42, characters 14-15)
Resolved: Index_constrs_records.32:
  l_exn (File "index_constrs_records.ml", line 41, characters 14-19)
Resolved: Index_constrs_records.33:
  Exn (File "index_constrs_records.ml", line 41, characters 8-11)
Resolved: Index_constrs_records.31:
  l_ext (File "index_constrs_records.ml", line 36, characters 21-26)
Resolved: Index_constrs_records.26:
  l_ext (File "index_constrs_records.ml", line 36, characters 10-15)
Resolved: Index_constrs_records.27:
  Ext (File "index_constrs_records.ml", line 36, characters 4-7)
Resolved: Index_constrs_records.30:
  x (File "index_constrs_records.ml", line 35, characters 22-23)
Resolved: Index_constrs_records.25:
  u (File "index_constrs_records.ml", line 35, characters 11-12)
Resolved: Index_constrs_records.25:
  u (File "index_constrs_records.ml", line 33, characters 5-6)
Resolved: Index_constrs_records.24:
  l (File "index_constrs_records.ml", line 30, characters 47-48)
Resolved: Index_constrs_records.1:
  lbl (File "index_constrs_records.ml", line 30, characters 49-52)
Resolved: Index_constrs_records.23:
  lbl (File "index_constrs_records.ml", line 30, characters 41-44)
Resolved: Index_constrs_records.22:
  l_c (File "index_constrs_records.ml", line 30, characters 35-38)
Unresolved: CU Stdlib . "+"[value] :
  (+) (File "index_constrs_records.ml", line 30, characters 39-40)
Unresolved: CU Stdlib . "+"[value] :
  (+) (File "index_constrs_records.ml", line 30, characters 45-46)
Resolved: Index_constrs_records.1:
  lbl (File "index_constrs_records.ml", line 30, characters 21-24)
Resolved: Index_constrs_records.3:
  l_c (File "index_constrs_records.ml", line 30, characters 11-14)
Resolved: Index_constrs_records.4:
  A (File "index_constrs_records.ml", line 30, characters 7-8)
Resolved: Index_constrs_records.3:
  l_c (File "index_constrs_records.ml", line 29, characters 12-15)
Resolved: Index_constrs_records.4:
  A (File "index_constrs_records.ml", line 29, characters 8-9)
Resolved: Index_constrs_records.19:
  M (File "index_constrs_records.ml", line 27, characters 5-6)
Resolved: Index_constrs_records.3:
  l_c (File "index_constrs_records.ml", line 25, characters 14-17)
Resolved: Index_constrs_records.19:
  M (File "index_constrs_records.ml", line 25, characters 8-9)
Resolved: Index_constrs_records.4:
  M.A (File "index_constrs_records.ml", line 25, characters 8-11)
Resolved: Index_constrs_records.3:
  l_c (File "index_constrs_records.ml", line 22, characters 14-17)
Resolved: Index_constrs_records.4:
  A (File "index_constrs_records.ml", line 22, characters 10-11)

Uid of decls:
Index_constrs_records.0:
  l (File "index_constrs_records.ml", line 17, characters 5-6)
Index_constrs_records.1:
  lbl (File "index_constrs_records.ml", line 17, characters 11-14)
Index_constrs_records.2:
  t (File "index_constrs_records.ml", line 21, characters 7-8)
Index_constrs_records.3:
  l_c (File "index_constrs_records.ml", line 21, characters 18-21)
Index_constrs_records.4:
  A (File "index_constrs_records.ml", line 21, characters 11-12)
Index_constrs_records.10:
  t (File "index_constrs_records.ml", line 19, characters 7-8)
Index_constrs_records.11:
  l_c (File "index_constrs_records.ml", line 19, characters 18-21)
Index_constrs_records.12:
  A (File "index_constrs_records.ml", line 19, characters 11-12)
Index_constrs_records.19:
  M (File "index_constrs_records.ml", line 18, characters 7-8)
Index_constrs_records.21:
  f (File "index_constrs_records.ml", line 30, characters 4-5)
Index_constrs_records.25:
  u (File "index_constrs_records.ml", line 32, characters 5-6)
Index_constrs_records.26:
  l_ext (File "index_constrs_records.ml", line 33, characters 19-24)
Index_constrs_records.27:
  Ext (File "index_constrs_records.ml", line 33, characters 10-13)
Index_constrs_records.29:
  f (File "index_constrs_records.ml", line 35, characters 4-5)
Index_constrs_records.32:
  l_exn (File "index_constrs_records.ml", line 39, characters 18-23)
Index_constrs_records.33:
  Exn (File "index_constrs_records.ml", line 39, characters 10-13)
Index_constrs_records.35:
  e (File "index_constrs_records.ml", line 41, characters 4-5)
Index_constrs_records.37:
  t (File "index_constrs_records.ml", line 47, characters 7-8)
Index_constrs_records.38:
  lbl (File "index_constrs_records.ml", line 47, characters 18-21)
Index_constrs_records.39:
  A (File "index_constrs_records.ml", line 47, characters 11-12)
Index_constrs_records.45:
  Mod (File "index_constrs_records.ml", line 46, characters 7-10)