# object method ~f:'a = 4 end;; - : < f : int > = <obj> どんだけーーー実際にソースコードを書いてみると、確かに一瞬method f : 'a = 4に見えるのはわからないでもないけど、yaccのルール | METHOD private_flag LABEL poly_type EQUAL seq_exprを見たときは</obj>…

object val x :> int list = [1] val virtual mutable x : int end つーか、virtualとmutableの順序を逆にできるのはともかく、フィールドにcoersionが書けるってこれ意味わかんなくないですか？