読者です 読者をやめる 読者になる 読者になる

# let x = object
    method f = (fun x -> x)
  end;;
val x : < f : 'a -> 'a > = <obj>
# let a = x#f;;
val a : '_a -> '_a = <fun>

メソッド呼び出しはvalueではないのか。まあ当たり前。

でも、これじゃ困るんだよなあ…