package lrgrep

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Refine.Make`Source

module Set : DECOMPOSABLE

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

Sourceval annotated_partition : ('a Set.t * 'b) list -> ('a Set.t * 'b list) list

Sourceval partition_and_total : 'a Set.t list -> 'a Set.t list * 'a Set.t

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

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

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