IndexRefine (p.lrgrep.0.3.doc.utils.Utils.IndexRefine)

include sig ... end

Sourceval partition : 'a IndexSet.t list -> 'a IndexSet.t list

val annotated_partition : 
  ('a IndexSet.t * 'b) list ->
  ('a IndexSet.t * 'b list) list

val partition_and_total : 
  'a IndexSet.t list ->
  'a IndexSet.t list * 'a IndexSet.t

val annotated_partition_and_total : 
  ('a IndexSet.t * 'b) list ->
  ('a IndexSet.t * 'b list) list * 'a IndexSet.t

val iter_decomposition : 
  ('a IndexSet.t * 'b) list ->
  ('a IndexSet.t -> (('b -> unit) -> unit) -> unit) ->
  unit

val iter_merged_decomposition : 
  ('a IndexSet.t * 'b) list ->
  ('a IndexSet.t -> 'b list -> unit) ->
  unit