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
Packages
Community
Blog
Playground
Search OCaml packages
Learn
Packages
Community
Blog
Playground
Standard Library API
Get started
package
sattools
latest (0.1.0)
0.1.0
search
Overview
Docs
You can search for identifiers within the package.
in-package search v0.2.0
package sattools
sattools
Sattools
Dimacs
Cnf
IntList
Make
Cnf
Lbool
Libs
Solver
Result
Tseitin
Make
B
S
Legend:
Library
Module
Module type
Parameter
Class
Class type
Documentation
sattools lib
Sattools
.
Tseitin
.
S
Module type
type
t
val
(~:) :
t
->
t
sectionYPositions = computeSectionYPositions($el), 10)" x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)" >