Search OCaml packages
Standard Library API
Learn
Tools
Packages
Community
News
Play
Search OCaml packages
Learn
Tools
Packages
Community
News
Play
Standard Library API
Get started
package
elpi
latest (1.20.0)
1.20.0
1.19.6
1.19.5
1.19.4
1.19.3
1.19.2
1.19.1
1.19.0
1.18.2
1.18.1
1.18.0
1.17.4
1.17.3
1.17.0
1.16.10
1.16.9
1.16.8
1.16.7
1.16.5
1.16.4
1.16.3
1.16.1
1.15.2
1.15.0
1.14.3
1.14.1
1.14.0
1.13.8
1.13.7
1.13.6
1.13.5
1.13.4
1.13.2
1.13.1
1.13.0
1.12.0
1.11.4-1
1.11.4
1.11.3
1.11.2
1.11.1
1.11.0
1.10.2
1.10.1
1.10.0
1.9.1
1.9.0
1.8.0
1.7.0
1.6.0
1.5.2
1.4.1
1.4.0
1.3.1
1.2.0
1.1.1
1.1.0
1.0.5
1.0.4
1.0.3
1.0.2
search
Overview
Docs
You can search for identifiers within the package.
in-package search v0.2.0
package elpi
elpi
Elpi_API
Ast
Compile
StrSet
Data
StrMap
Execute
Extend
BuiltInPredicate
Notation
CData
Compile
State
CustomConstraint
CustomFunctor
Data
C
Constants
Map
Set
Pp
Raw
Utils
Parse
Pp
Ast
Setup
Elpi_builtin
Legend:
Library
Module
Module type
Parameter
Class
Class type
Documentation
elpi lib
Elpi_API
.
Ast
Module
type
program
type
query