MakeEvalPrinter (ocaml.Topcommon.MakeEvalPrinter)

Parameters

module _ : EVAL_BASE

Signature

val eval_address : Env.address -> Obj.t

val eval_module_path : Env.t -> Path.t -> Obj.t

val eval_value_path : Env.t -> Path.t -> Obj.t

val eval_extension_path : Env.t -> Path.t -> Obj.t

val eval_class_path : Env.t -> Path.t -> Obj.t

module Printer : sig ... end

val print_value : 
  Env.t ->
  Printer.t ->
  Format.formatter ->
  Types.type_expr ->
  unit

val print_untyped_exception : Format.formatter -> Printer.t -> unit

val print_exception_outcome : Format.formatter -> exn -> unit

val outval_of_value : 
  Env.t ->
  Printer.t ->
  Types.type_expr ->
  Outcometree.out_value

type (!'a, !'b) gen_printer =

| Zero of 'b
| Succ of 'a -> ('a, 'b) gen_printer

val install_printer : 
  Path.t ->
  Types.type_expr ->
  (Format.formatter -> Printer.t -> unit) ->
  unit

val install_generic_printer : 
  Path.t ->
  Path.t ->
  (int ->
    (int ->
      Printer.t ->
      Outcometree.out_value,
      Printer.t ->
      Outcometree.out_value)
      gen_printer) ->
  unit

val install_generic_printer' : 
  Path.t ->
  Path.t ->
  (Format.formatter ->
    Printer.t ->
    unit,
    Format.formatter ->
    Printer.t ->
    unit)
    gen_printer ->
  unit

val remove_printer : Path.t -> unit