package elpi

  1. Overview
  2. Docs
package elpi
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Compiler_data.TypingEnvSource

Sourcetype indexing =
  1. | Index of Elpi_runtime.Data.pred_info
  2. | DontIndex
Sourceval pp_indexing : Ppx_deriving_runtime.Format.formatter -> indexing -> Ppx_deriving_runtime.unit
Sourcetype symbol_metadata = {
  1. ty : TypeAssignment.skema;
  2. indexing : indexing;
  3. availability : Elpi_parser.Ast.Structured.symbol_availability;
}
Sourceval pp_symbol_metadata : Ppx_deriving_runtime.Format.formatter -> symbol_metadata -> Ppx_deriving_runtime.unit
Sourceval compatible_indexing : indexing -> indexing -> bool
Sourceval pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
Sourceval empty : t
Sourceval resolve_symbol : Symbol.t -> t -> symbol_metadata
Sourceval resolve_symbol_opt : Symbol.t -> t -> symbol_metadata option
Sourceval merge_envs : t -> t -> t
Sourceval iter_names : (F.t -> Symbol.t TypeAssignment.overloaded -> unit) -> t -> unit
Sourceval iter_symbols : (Symbol.t -> symbol_metadata -> unit) -> t -> unit
Sourceval same_symbol : t -> Symbol.t -> Symbol.t -> bool
Sourceval compare_symbol : t -> Symbol.t -> Symbol.t -> int
Sourceval undup : t -> Symbol.t list -> Symbol.t list
Sourceval all_symbols : t -> (Symbol.t * symbol_metadata) list
Sourceval mem_symbol : t -> Symbol.t -> bool
Sourceval canon : t -> Symbol.t -> Symbol.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct