package elpi

You can search for identifiers within the package.

in-package search v0.2.0

ELPI - Embeddable λProlog Interpreter

Install

dune-project

Dependency

github.com Readme Changelog Edit opam file Versions (11)

Authors

Maintainers

E

Enrico Tassi <enrico.tassi@inria.fr>

Sources

elpi-2.0.6.tbz

sha256=b515185d0674557ae3219059d6c91dce2794b30c38ad23447b98a4fa22a99375

sha512=48490035f8dc103de9c0f2bf4e3a3ea6db2bda8670efe87bc2402a3b47e5c510452a5ae406be65a83fe16dd410c374894142bbee477681e50fc0dde4b8153d3c

doc/elpi.compiler/Elpi_compiler/Determinacy_checker/class-merger/index.html

Class `Determinacy_checker.merger`Source

method get_all_func : func_map

method get_local_func : func_map

method add_ty_abbr : Elpi_compiler.Compiler_data.F.t ->
  Elpi_compiler.Compiler_data.Scope.type_decl_id ->
  Elpi_compiler.Compiler_data.ScopedTypeExpression.t ->
  unit

method add_func_ty_list : Elpi_compiler.Compiler_data.F.t ->
  Elpi_compiler.Compiler_data.TypeList.t ->
  Elpi_compiler.Compiler_data.TypeAssignment.overloaded_skema_with_id ->
  unit