package containers-data

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `CCBijection`Source

Represents 1-to-1 mappings between two types. Each element from the "left" is mapped to one "right" value, and conversely.

Sourcetype 'a iter = ('a -> unit) -> unit

Sourcemodule type OrderedType = sig ... end

Sourcemodule type S = sig ... end

module Make
  (L : OrderedType)
  (R : OrderedType) : 
  S with type left = L.t and type right = R.t