Mode (u.c73734534e52e3c7e3a6ab4ddda12c49.elpi.3.4.5.doc.elpi.parser.Elpi

type t = Elpi_util.Util.Mode.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

type ho =

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