Search OCaml packages
max) { row = max } }" @keyup.up="if (row !== null) { row -=1; if (row < 0) { row = null } }" @keyup.right="if (col < 1) col++" @keyup.left="if (col >= 1) col--" :aria-activedescendant="row !== null ? 'package-autocomplete-'+row+'-'+col : null" hx-get="/packages/autocomplete" hx-params="q" hx-trigger="keyup changed, search" hx-target="#header-search-results" hx-indicator="#header-search-indicator" autocomplete="off" >
Standard Library API
Learn
Tools
Packages
Community
News
Play
Search OCaml packages
Learn
Tools
Packages
Community
News
Play
Standard Library API
Get started
package
dscheck
latest (0.5.0)
0.5.0
0.4.0
0.3.0
0.2.0
0.1.1
0.1.0
search
Overview
Docs
You can search for identifiers within the package.
in-package search v0.2.0
sectionYPositions = computeSectionYPositions($el), 10)" x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)" >
On This Page
0.4.0
0.3.0
0.2.0
0.1.1
0.1.0
package dscheck
dscheck
CHANGES
LICENSE
README
Library
dscheck
Dscheck
Atomic_op
Trace_tracker
TracedAtomic
Sources
dscheck
atomic_op.ml
dscheck.ml
trace_tracker.ml
tracedAtomic.ml
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Package index
dscheck
CHANGES
0.5.0
Add Atomic.make_contended (@lyrm, review : @polytypic)
0.4.0
Made (empty) package available on OCaml 4 (@polytypic, review: @lyrm)
0.3.0
Granular dependency relation (@bartoszmodelski, review: @lyrm)
0.2.0
Source sets (@bartoszmodelski, review: @lyrm, @art-w)
Better traces (@bartoszmodelski, review: @lyrm, @art-w)
Test generation (@bartoszmodelski, review: @lyrm)
New README (@bartoszmodelski, review: @lyrm, @Sudha247)
0.1.1
Fix continuations leak (@bartoszmodelski, review: @polytypic)
0.1.0
Initial experimental release.
sectionYPositions = computeSectionYPositions($el), 10)" x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)" >
On This Page
0.4.0
0.3.0
0.2.0
0.1.1
0.1.0