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