package elpi

You can search for identifiers within the package.

in-package search v0.2.0

ELPI - Embeddable λProlog Interpreter

Install

dune-project

Dependency

sha256=cfe271ae33cd8d682082a5081d36db5e4e858571909811bb97c4ecd0c4053a61

sha512=e0745da1ee6c74256369cf7d8df5898f9af9d35c0444b25f2e3d08efd64040634464c4139ec7d8caa7e85b4bbae3e3cbfbb824c0b53cbe740d451d338788c6f3

Sourcemodule Loc = Elpi_util.Util.Loc

Sourcemodule Func : sig ... end

Sourcemodule Mode : Elpi_util.Util.Mode with type t = Elpi_util.Util.Mode.t

Sourcetype raw_attribute =

val pp_raw_attribute : 
  Ppx_deriving_runtime.Format.formatter ->
  raw_attribute ->
  Ppx_deriving_runtime.unit

Sourceval show_raw_attribute : raw_attribute -> Ppx_deriving_runtime.string

Sourcemodule TypeExpression : sig ... end

Sourcemodule Term : sig ... end

Sourcemodule Clause : sig ... end

Sourcemodule Chr : sig ... end

Sourcemodule Macro : sig ... end

Sourcemodule Type : sig ... end

Sourcemodule TypeAbbreviation : sig ... end

Sourcemodule Program : sig ... end

Sourcemodule Goal : sig ... end

Sourceval cfloat : float Elpi_util.Util.CData.cdata

Sourceval cint : int Elpi_util.Util.CData.cdata

Sourceval cstring : string Elpi_util.Util.CData.cdata

Sourceval cloc : Loc.t Elpi_util.Util.CData.cdata

Sourcemodule Structured : sig ... end