package b0

  1. Overview
  2. Docs
On This Page
  1. Module references
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module B0_ocaml.ModrefSource

Module digested references.

TODO. Use that in B0_odoc.

Module references

Sourcetype t

The type for module references as found in compilation objects. This is a module name and a digest of its interface.

Sourceval make : string -> Digest.t -> t

make n d is a module reference with name n and digest d.

Sourceval name : t -> Modname.t

name m is the capitalized module name of module reference m.

Sourceval digest : t -> Digest.t

digest m is the interface digest of module reference m.

Sourceval equal : t -> t -> bool

equal m m' is true iff m and m' are the same reference.

Sourceval compare : t -> t -> int

compare m m' is a total order on module references.

pp formats a module reference.

Sourcemodule Set : sig ... end

Module reference sets.

Sourcemodule Map : sig ... end

Module reference maps.