package dose3

  1. Overview
  2. Docs
Dose library (part of Mancoosi tools)

Install 

dune-project
 Dependency

www.mancoosi.org Edit opam file Versions (5)

Authors

  1. P
    Pietro Abate
  2. R
    Ralf Treinen
  3. J
    Jaap Boender
  4. J
    Johannes Schauer Marin Rodrigues
  5. R
    Roberto Di Cosmo
  6. F
    Felipe Garay
  7. S
    Stefano Zacchiroli
  8. J
    Jakub Zwolakowski
  9. O
    Olivier Rosello

Maintainers

  1. P
    Pietro Abate
  2. J
    Johannes Schauer Marin Rodrigues
  3. R
    Ralf Treinen

Sources

dose3-6.1.tar.gz
md5=dedc2f58f2c2b59021f484abc6681d93
sha512=603462645bac190892a816ecb36ef7b9c52f0020f8d7710dc430e2db65122090fdedb24a8d2e03c32bf53a96515f5b51499603b839680d0a7a2146d6e0fb6e34

doc/dose3.algo/Dose_algo/Statistics/Make/argument-1-G/V/index.html

Module G.V

Vertices have type V.t and are labeled with type V.label (note that an implementation may identify the vertex with its label)

Vertices are COMPARABLE.

type t
include Graph.Sig.COMPARABLE with type t := t
val compare : t -> t -> int
val hash : t -> int
val equal : t -> t -> bool

Vertices are labeled.

type label
val create : label -> t
val label : t -> label