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