package elpi

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

Module Ast.TypeExpressionSource

Sourcetype 'attribute t_ =
  1. | TConst of Func.t
  2. | TApp of Func.t * 'attribute t * 'attribute t list
  3. | TPred of 'attribute * (Mode.t * 'attribute t) list * bool
  4. | TArr of 'attribute t * 'attribute t
Sourceand 'a t = {
  1. tit : 'a t_;
  2. tloc : Loc.t;
}
Sourceval pp_t_ : (Ppx_deriving_runtime.Format.formatter -> 'attribute -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'attribute t_ -> Ppx_deriving_runtime.unit
Sourceval show_t_ : (Ppx_deriving_runtime.Format.formatter -> 'attribute -> Ppx_deriving_runtime.unit) -> 'attribute t_ -> Ppx_deriving_runtime.string
Sourceval compare_t_ : ('attribute -> 'attribute -> Ppx_deriving_runtime.int) -> 'attribute t_ -> 'attribute t_ -> Ppx_deriving_runtime.int
Sourceval compare : ('a -> 'a -> Ppx_deriving_runtime.int) -> 'a t -> 'a t -> Ppx_deriving_runtime.int