允许可变和多态字段。支持GADT语法。属性可以在单个字段上指定。..。我正在寻找多态变体:type a = B of { x : int; mutable y : int; }Line 1, characters 9-10:但这不起作用,所以现在我用一个显式的辅助记录类型来代替我也能用多态变体获得这个很酷的特性吗
/-cityname/result,9-10 (digits may be any numbers from 1 to N)example.com/vm-search/level1category/level2category-citynameexample.comlevel2category/level3category-cityn