package dune-private-libs

You can search for identifiers within the package.

in-package search v0.2.0

Private libraries of Dune

Install

Dune Dependency

github.com Readme Changelog MIT License Edit opam file Versions (5)

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street Group, LLC

Sources

dune-2.5.1.tbz

sha256=8f77d3a87f208e0d7cccaa1c48c4bb1bb87d62d07c3f25e9b8ba298e028ce52b

sha512=f209f12ced10c1abf8782bdb0143f4cec77795f7174d2cc75130afb1e01550b01f2f77b9e3ec4888efdad83d2f9878d179b39126f824f4e522f3ef4da34bf27e

doc/dune-private-libs.stdune/Stdune/Type_eq/index.html

Module `Stdune.Type_eq`

Equality between types. See Base.Type_equal for documentation.

type ('a, 'b) t =

| T : ('a, 'a) t

val cast : ('a, 'b) t -> 'a -> 'b

module Id : sig ... end

Id provides identifiers for types, and the ability to test (via Id.same) at runtime if two identifiers are equal, and if so to get a proof of equality of their types.