よくわからないので、OCamlのソースを覗く。typing/printtyp.mlを見ると、 let non_gen_mark sch ty = if sch && ty.desc = Tvar && ty.level <> generic_level then "_" else "" という関数があるので、ty.levelに多相か単相かが保存されていることがわかっ…