Module `Compiler_data.ScopedTerm`Source

Sourcemodule SimpleTerm : sig ... end

Sourcetype spill_info =

| NoInfo
| Main of int
| Phantom of int

val pp_spill_info : 
  Ppx_deriving_runtime.Format.formatter ->
  spill_info ->
  Ppx_deriving_runtime.unit

Sourceval show_spill_info : spill_info -> Ppx_deriving_runtime.string

Sourcetype t_ =

| Impl of bool * t * t
| Const of Scope.t * F.t
| Discard
| Var of F.t * t list
| App of Scope.t * F.t * t * t list
| Lam of (F.t * Scope.language) option * ScopedTypeExpression.e option * t
| CData of Elpi_util.Util.CData.t
| Spill of t * spill_info ref
| Cast of t * ScopedTypeExpression.e

Sourceand t = {

}

Source

val pp_t_ : 
  Ppx_deriving_runtime.Format.formatter ->
  t_ ->
  Ppx_deriving_runtime.unit

Sourceval show_t_ : t_ -> Ppx_deriving_runtime.string

Source

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

Sourceval show : t -> Ppx_deriving_runtime.string

Sourceval type_of : t -> TypeAssignment.t MutableOnce.t TypeAssignment.t_

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

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/elpi.compiler/Elpi_compiler/Compiler_data/ScopedTerm/index.html

Module `Compiler_data.ScopedTerm`Source

package elpi

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/elpi.compiler/Elpi_compiler/Compiler_data/ScopedTerm/index.html

Module Compiler_data.ScopedTermSource

dune-project
Dependency

Module `Compiler_data.ScopedTerm`Source