-rectypesで無限ループになるバグが直ったとかなんとか # let rec print_int_ln x = print_int x; print_newline(); print_int_ln;; val print_int_ln : int -> 'a as 'a = <fun> # print_int_ln 1 2 3 4 5;; 1 2 3 4 5 - : int -> 'a as 'a = <fun>windows用バイナリ</fun></fun>…