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