elpi.parser
Ast.Mode
elpi
elpi.compiler
elpi.lexer_config
elpi.runtime
elpi.trace
elpi.util
trace_ppx
trace_ppx_runtime
type t =
| Input
| Output
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