Up – Package index » elpi » Library elpi.compiler » Elpi_compiler » Compiler_data » Arity

Module `Compiler_data.Arity`

elpi
- CHANGES
- README
- Library elpi
  - Elpi
- Library elpi.compiler
  - Elpi_compiler
- Library elpi.lexer_config
  - Elpi_lexer_config
- Library elpi.parser
  - Elpi_parser
- Library elpi.runtime
  - Elpi_runtime
- Library elpi.trace
- Library elpi.util
  - Elpi_util
- Library trace_ppx
  - Trace_ppx
- Library trace_ppx_runtime
  - Trace_ppx_runtime
- Sources

type t = int * Elpi_util.Util.Loc.t

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

val show : t -> Ppx_deriving_runtime.string

val compare : t -> t -> Ppx_deriving_runtime.int