package elpi

You can search for identifiers within the package.

in-package search v0.2.0

ELPI - Embeddable λProlog Interpreter

Install

sha256=80233ebd92babd696148ed553238961ec7b6de6bf157045aae1c7090840aeded

sha512=00c9ec01fabde9db1de4a58cb37480035e6f926d83b8360553419bcb99e9199f0720dde975f97ac9942ce528884d3d59d025cfbd471f12d57547429f15684d49

Sourcetype ctx = {

}

Sourceval empty : unit -> ctx

Sourceval eq_var : ctx -> Scope.language -> F.t -> F.t -> bool

val purge : 
  'a ->
  (('b * 'c) -> F.t) ->
  F.t ->
  ('a * 'b * 'c) list ->
  ('a * 'b * 'c) list

Sourceval push_ctx : Scope.language -> F.t -> F.t -> ctx -> ctx

Sourceval eq_uvar : ctx -> F.t -> F.t -> bool