elpi.util
Util.Mode
elpi
elpi.compiler
elpi.lexer_config
elpi.parser
elpi.runtime
elpi.trace
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
type ho =
| Fo of t
| Ho of t * ho list
and hos = ho list
val pp_ho : Ppx_deriving_runtime.Format.formatter -> ho -> Ppx_deriving_runtime.unit
val show_ho : ho -> Ppx_deriving_runtime.string
val pp_hos : Ppx_deriving_runtime.Format.formatter -> hos -> Ppx_deriving_runtime.unit
val show_hos : hos -> Ppx_deriving_runtime.string
val compare_ho : ho -> ho -> Ppx_deriving_runtime.int
val compare_hos : hos -> hos -> Ppx_deriving_runtime.int
val get_head : ho -> t
val to_ho : t -> ho
val show_pretty : t -> string
val pretty : Format.formatter -> t -> unit