object method headcat : int method length : int method maptype : int method rhs : int array method set_headcat : int -> unit method set_maptype : int -> unit method set_rhs : int -> int -> unit end