Up – Package index » elpi » Library elpi » Elpi

Module `Elpi`Source

Sourcemodule API : sig ... end

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

Sourcemodule Builtin : sig ... end

Sourcemodule Builtin_checker : sig ... end