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

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