Up – Package index » elpi » Library elpi.runtime » Elpi_runtime » Runtime_trace_off » Pp

Module `Runtime_trace_off.Pp`Source

val ppterm : 
  ?pp_ctx:Data.pp_ctx ->
  ?min_prec:int ->
  int ->
  string list ->
  argsdepth:int ->
  Data.env ->
  Format.formatter ->
  Data.term ->
  unit

Source

val uppterm : 
  ?pp_ctx:Data.pp_ctx ->
  ?min_prec:int ->
  int ->
  string list ->
  argsdepth:int ->
  Data.env ->
  Format.formatter ->
  Data.term ->
  unit

Source

val pp_constant : 
  ?pp_ctx:Data.pp_ctx ->
  Format.formatter ->
  Elpi_util.Util.constant ->
  unit

Source

val pp_oref : 
  ?pp_ctx:Data.pp_ctx ->
  Format.formatter ->
  (Elpi_util.Util.UUID.t * Obj.t) ->
  unit