Module `Treemap.Make_no_empty`

More efficient version, but without empty.

Parameters

module Key : Key

type 'a t

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

val find : Key.t -> 'a t -> 'a

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