package codex

You can search for identifiers within the package.

in-package search v0.2.0

Module `DomPIPartition.M`Source

Sourcetype 'a t = 'a Treemap.Make(Condition).t

val refine : 
  Condition.t ->
  inter:('a -> 'a -> 'a) ->
  join:('a -> 'a -> 'a) ->
  'a ->
  'a t ->
  'a t

Sourceval find : Condition.t -> 'a t -> 'a

Sourceval empty : 'a t

val make_pretty : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a t ->
  unit