package containers-data

You can search for identifiers within the package.

in-package search v0.2.0

A set of advanced datatypes for containers

Install

md5=00ba20a8c8824991cab96aff8f8e5a3c

sha512=4126045d58b9408eecaaad005c334081ade151f291dafc32ce9a33e8f796d41f72df62b617528f272996f3c93cb9b4293545ab86ac416288960f5a2b60b41932

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

Sourcemodule type S = sig ... end

Sourcemodule type OrderedType = sig ... end

module Make
  (K : OrderedType)
  (V : OrderedType) : 
  S with type key = K.t and type value = V.t

Represents n-to-n mappings between two types. Each element from the "left" is mapped to several right values, and conversely.

Sourcemodule type BIDIR = sig ... end

module MakeBidir
  (L : OrderedType)
  (R : OrderedType) : 
  BIDIR with type left = L.t and type right = R.t

On This Page