いろいろ思いつく訳です。 recursive module module rec M : sig f : unit -> unit end = M let _ = M.fこりゃ一体どういうことなんでしょうね。これに関連して、camlinternalMod.ml の ignore pad1 から ignore pad8 までがとっても気になります。 binary o…