package elpi

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

Module Compiler_data.ScopedTermSource

Sourcemodule SimpleTerm : sig ... end
Sourcetype spill_info =
  1. | NoInfo
  2. | Main of int
  3. | Phantom of int
Sourcetype t_ =
  1. | Impl of bool * t * t
  2. | Const of Scope.t * F.t
  3. | Discard
  4. | Var of F.t * t list
  5. | App of Scope.t * F.t * t * t list
  6. | Lam of (F.t * Scope.language) option * ScopedTypeExpression.e option * t
  7. | CData of Elpi_util.Util.CData.t
  8. | Spill of t * spill_info ref
  9. | Cast of t * ScopedTypeExpression.e
Sourceval pp_t_ : Ppx_deriving_runtime.Format.formatter -> t_ -> Ppx_deriving_runtime.unit
Sourceval show_t_ : t_ -> Ppx_deriving_runtime.string
Sourceval lam : int
Sourceval app : int
Sourceval lvl_of : t_ -> int
Sourceval pretty : Format.formatter -> t -> unit
Sourceval pretty_ : Format.formatter -> t_ -> unit
Sourceval pretty_parens : lvl:int -> Format.formatter -> t -> unit
Sourceval pretty_parens_lam : lvl:int -> Format.formatter -> t -> unit
Sourceval equal : ?types:bool -> t -> t -> bool
Sourceval compare : 'a -> 'b -> 'c
Sourceval in_scoped_term : t -> Elpi_util.Util.CData.t
Sourceval out_scoped_term : Elpi_util.Util.CData.t -> t
Sourceval is_scoped_term : Elpi_util.Util.CData.t -> bool
Sourceval of_simple_term : loc:Elpi_util.Util.Loc.t -> SimpleTerm.t_ -> t_
Sourceval of_simple_term_loc : SimpleTerm.t -> t
Sourceval unlock : t -> t_
Sourceval fresh : unit -> F.t
Sourceval rename : Scope.language -> F.t -> F.t -> t_ -> t_
Sourceval rename_loc : Scope.language -> F.t -> F.t -> t -> t
Sourceval beta : t -> t list -> t_
Sourcemodule QTerm : sig ... end
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