package cps_toolbox

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Cps_toolbox.AVL`Source

Sourcetype 'a t =

Sourceval null : 'a t

Sourceval node : int -> int -> 'a -> 'a t -> 'a t -> 'a t

Sourceval fold : 'a t -> 'r -> (int -> int -> 'a -> 'r -> 'r -> 'r) -> 'r

Sourceval map : ('a -> 'b) -> 'a t -> 'b t

Sourceval get_count : 'a t -> int

Sourceval get_height : 'a t -> int

Sourceval insert : 'a Order.total -> 'a -> 'a t -> 'a t

Sourceval remove : 'a Order.total -> 'a -> 'a t -> 'a t

val is_member : 
  'a Order.total ->
  'a ->
  'a t ->
  (unit -> 'r) ->
  (unit -> 'r) ->
  'r

Sourceval get_member : int -> 'a t -> (unit -> 'r) -> ('a -> 'r) -> 'r

Sourceval get_leftmost : 'a t -> (unit -> 'r) -> ('a -> 'r) -> 'r

Sourceval get_rightmost : 'a t -> (unit -> 'r) -> ('a -> 'r) -> 'r

Sourceval to_list : 'a t -> 'a list

Sourceval from_list : 'a list -> 'a t