package core

You can search for identifiers within the package.

in-package search v0.2.0

Module `Core.Set_intf`Source

This module defines interfaces used in Set. See the Map docs for a description of the design.

This module defines module types {Creators,Accessors}{0,1,2,_generic,_with_comparator}. It uses check functors to ensure that each module type is an instance of the corresponding _generic one.

We must treat Creators and Accessors separately, because we sometimes need to choose different instantiations of their options. In particular, Set itself matches Creators2_with_comparator but Accessors2 (without comparator).

Sourcemodule Binable : sig ... end

Sourcemodule Set = Base.Set

Sourcemodule Tree = Set.Using_comparator.Tree

Sourcemodule Container = Base.Container

Sourcemodule type Elt_plain = Set.Elt_plain

Sourcemodule type Elt = sig ... end

Sourcemodule type Elt_binable = sig ... end

Sourcemodule Elt_bin_io : sig ... end

Sourcemodule type For_deriving = sig ... end

Sourcemodule type For_deriving_stable = sig ... end

Sourcemodule Without_comparator = Set.Without_comparator

Sourcemodule With_comparator = Set.With_comparator

Sourcemodule With_first_class_module = Set.With_first_class_module

Sourcemodule Continue_or_stop = Container.Continue_or_stop

Sourcemodule Merge_to_sequence_element = Sequence.Merge_with_duplicates_element

Sourcemodule type Accessors_generic = sig ... end

Sourcemodule type Creators_generic = sig ... end

Sourcemodule type Creators_and_accessors_generic = sig ... end

Sourcemodule Make_S_plain_tree (Elt : Comparator.S) : sig ... end

Sourcemodule type S_plain = sig ... end

Sourcemodule type S = sig ... end

Sourcemodule type S_binable = sig ... end

package core

Module Core.Set_intfSource

Module `Core.Set_intf`Source