class_fields INHERIT class_expr parent_binderというパースルールなので、 class c0 x = object val x = x end class c = object inherit let x = 1 in c0 x endと書けることに気が付いた。わからんではないがキモイ。