package elpi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module API : sig ... end

This module is the API for clients of the Elpi library.

module Builtin : sig ... end

module Builtin_checker : sig ... end