Module Code_util_ridlist

module Code_util_ridlist: sig .. end

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