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=84ed0907ac8787790ccd14a0a77762c3f7394b3e3de5c7df74e5448fd406009a

sha512=eb3f3b8323cab051549b9779620bc30dcaacf456e5c7b3ffc6723f74ba9d811b860a9f0540eb2cb24dc024188e55dcf2b50ae1b42e7cb47ad45b984637f281f5

Sourcetype resolution

val pp_resolution : 
  Ppx_deriving_runtime.Format.formatter ->
  resolution ->
  Ppx_deriving_runtime.unit

Sourceval show_resolution : resolution -> Ppx_deriving_runtime.string

Sourceval compare : TypingEnv.t -> resolution -> resolution -> int

Sourceval clone : resolution -> resolution

Sourceval make : unit -> resolution

Sourceval resolve : TypingEnv.t -> resolution -> Symbol.t -> unit

Sourceval resolved_to : TypingEnv.t -> resolution -> Symbol.t option

Sourceval is_resolved_to : TypingEnv.t -> resolution -> Symbol.t -> bool

Sourceval is_resolved_to_builtin : TypingEnv.t -> resolution -> bool