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.Set`Source

Sourcetype 'a set

Sourcetype 'a compare = 'a -> 'a -> Order.t

Sourceval empty : 'a set

Sourceval is_empty : 'a set -> bool

val is_member : 
  'a compare ->
  'a ->
  'a set ->
  (unit -> 'r) ->
  (unit -> 'r) ->
  'r

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

Sourceval get_member_unsafe : int -> 'a set -> 'a

Sourceval size : 'a set -> int

Sourceval add : 'a compare -> 'a -> 'a set -> 'a set

Sourceval remove : 'a compare -> 'a -> 'a set -> 'a set

Sourceval to_list : 'a set -> 'a list

Sourceval from_list : 'a list -> 'a set

Sourceval fold : 'r -> ('a -> 'r -> 'r) -> 'a set -> 'r

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

Sourceval union : 'a compare -> 'a set -> 'a set -> 'a set

Sourceval difference : 'a compare -> 'a set -> 'a set -> 'a set

Sourceval intersection : 'a compare -> 'a set -> 'a set -> 'a set

val has_intersection : 
  'a compare ->
  'a set ->
  'a set ->
  (unit -> 'r) ->
  (unit -> 'r) ->
  'r

Sourceval first : 'a set -> (unit -> 'r) -> ('a -> 'r) -> 'r

Sourceval first_unsafe : 'a set -> 'a

Sourceval last : 'a set -> (unit -> 'r) -> ('a -> 'r) -> 'r

Sourceval last_unsafe : 'a set -> 'a

Sourceval compare : ('a -> 'a -> Order.t) -> 'a set -> 'a set -> Order.t