package elpi

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

Module Compiler_data.ScopedTypeExpressionSource

Sourcemodule SimpleType : sig ... end
Sourcetype t_ =
  1. | Any
  2. | Prop of Elpi_parser.Ast.Structured.functionality
  3. | Const of Scope.t * F.t
  4. | App of Scope.t * F.t * e * e list
  5. | Arrow of Elpi_util.Util.Mode.t * Elpi_parser.Ast.Structured.variadic * e * e
Sourceand e = {
  1. it : t_;
  2. loc : Elpi_util.Util.Loc.t;
}
Sourceval pp_t_ : Ppx_deriving_runtime.Format.formatter -> t_ -> Ppx_deriving_runtime.unit
Sourceval show_t_ : t_ -> Ppx_deriving_runtime.string
Sourceval arrs : int
Sourceval app : int
Sourceval lvl_of : t_ -> int
Sourceval pretty_e_parens : lvl:int -> Format.formatter -> e -> unit
Sourceval pretty_e_loc : Format.formatter -> e -> unit
Sourceval pretty_e : Format.formatter -> e -> unit
Sourceval of_simple_type : SimpleType.t_ -> t_
Sourceval of_simple_type_loc : SimpleType.t -> e
Sourcetype v_ =
  1. | Lam of F.t * v_
  2. | Ty of e
Sourceval pp_v_ : Ppx_deriving_runtime.Format.formatter -> v_ -> Ppx_deriving_runtime.unit
Sourceval show_v_ : v_ -> Ppx_deriving_runtime.string
Sourceval pretty : Format.formatter -> t -> unit
Sourceval eqt : TypingEnv.t -> ScopeContext.ctx -> e -> e -> bool
Sourceval eq : TypingEnv.t -> ScopeContext.ctx -> v_ -> v_ -> bool
Sourceval equal : TypingEnv.t -> t -> t -> bool
Sourceval compare : 'a -> 'b -> 'c
Sourceval smart_map_scoped_loc_ty : (F.t -> F.t) -> e -> e
Sourceval smart_map_scoped_ty : (F.t -> F.t) -> t_ -> t_
Sourceval smart_map_tye : (F.t -> F.t) -> v_ -> v_
Sourceval smart_map : (F.t -> F.t) -> t -> t