package elpi

  1. Overview
  2. Docs
ELPI - Embeddable λProlog Interpreter

Install

dune-project
 Dependency

Authors

Maintainers

Sources

elpi-3.0.1.tbz
sha256=af8074c67e94095b25556e1d1e2aaaf0d04c19f373e38919cb8f0a0d6786aae7
sha512=774612085cd3ff267bfd1aa35b7dd2629cde066f9d2393185e28f21d2c86a24c2e36ef1293dee1b2cba37636b6deb6dc6e688cebdb4e2aaff922e06de15dba0a

doc/elpi.compiler/Elpi_compiler/Compiler_data/Scope/index.html

Module Compiler_data.ScopeSource

Sourceval compare_language : language -> language -> Ppx_deriving_runtime.int
Sourcetype t =
  1. | Bound of language
  2. | Global of {
    1. escape_ns : bool;
    2. resolved_to : SymbolResolver.resolution;
    }
Sourceval compare : TypingEnv.t -> t -> t -> int
Sourceval equal : TypingEnv.t -> t -> t -> bool
Sourceval clone : t -> t
Sourcemodule Map : sig ... end
Sourcemodule Set : sig ... end
Sourceval mkGlobal : ?escape_ns:bool -> unit -> t
Sourceval mkResolvedGlobal : TypingEnv.t -> Symbol.t -> t
OCaml

Innovation. Community. Security.