2006-06-16 ■ # 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ではないのか。まあ当たり前。でも、これじゃ困るんだよなあ…