SymbolResolver (u.c73734534e52e3c7e3a6ab4ddda12c49.elpi.3.4.5.doc.elpi.compiler.Elpi_compiler.Compiler

type resolution

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

val show_resolution : resolution -> Ppx_deriving_runtime.string

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

val clone : resolution -> resolution

val make : unit -> resolution

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

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

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

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