sig
  type rid = int
  type rid_list =
      Full_RidList
    | Empty_RidList
    | Regular_RidList of Code_util_ridlist.rid list
  val is_empty_rid_list : Code_util_ridlist.rid_list -> bool
  val is_full_rid_list : Code_util_ridlist.rid_list -> bool
  val intersect_rid_list :
    Code_util_ridlist.rid_list ->
    Code_util_ridlist.rid_list -> Code_util_ridlist.rid_list
  val union_rid_list :
    Code_util_ridlist.rid_list ->
    Code_util_ridlist.rid_list -> Code_util_ridlist.rid_list
  val rid_compare : Code_util_ridlist.rid -> Code_util_ridlist.rid -> int
  val cursor_of_rid : Code_util_ridlist.rid_list -> int -> int Cursor.cursor
  val unwrap_rid_list_cursor :
    'a array ->
    ('a -> unit) ->
    Code_util_ridlist.rid_list -> Physical_value.tuple_unit Cursor.cursor
end