PrinterCfg (mlsem-types.Mlsem

val set_bool_printer : 
  (int ->
    Sstt.Prec.assoc ->
    Stdlib.Format.formatter ->
    Sstt.Extensions.Bools.t ->
    unit) ->
  unit

val set_float_printer : 
  (int ->
    Sstt.Prec.assoc ->
    Stdlib.Format.formatter ->
    Sstt.Extensions.Floats.t ->
    unit) ->
  unit

val set_string_printer : 
  (int ->
    Sstt.Prec.assoc ->
    Stdlib.Format.formatter ->
    Sstt.Extensions.Strings.t ->
    unit) ->
  unit

val set_list_printer : 
  (int ->
    Sstt.Prec.assoc ->
    Stdlib.Format.formatter ->
    Sstt.Extensions.Lists.t ->
    unit) ->
  unit

val set_char_printer : 
  (int ->
    Sstt.Prec.assoc ->
    Stdlib.Format.formatter ->
    Sstt.Extensions.Chars.t ->
    unit) ->
  unit

val set_abstract_printer : 
  (Sstt.Tag.t ->
    int ->
    Sstt.Prec.assoc ->
    Stdlib.Format.formatter ->
    Sstt.Printer.descr Sstt.Extensions.Abstracts.t ->
    unit) ->
  unit

val set_unit_printer : string -> unit

val set_dyn_printer : string -> unit

val set_descr_printer : 
  (int ->
    Sstt.Prec.assoc ->
    Stdlib.Format.formatter ->
    Sstt.Printer.descr ->
    unit) ->
  unit

val set_printer : 
  (Stdlib.Format.formatter -> Sstt.Printer.descr Sstt.Printer.t -> unit) ->
  unit

val add_abstract_type : Sstt.Tag.t -> unit

val add_printer_param : Sstt.Printer.params -> unit

val printer_params : unit -> Sstt.Printer.params

val print_descr_ctx : 
  int ->
  Sstt.Prec.assoc ->
  Stdlib.Format.formatter ->
  Sstt.Printer.descr ->
  unit

val print_descr : Stdlib.Format.formatter -> Sstt.Printer.descr -> unit

val print : 
  Stdlib.Format.formatter ->
  Sstt.Printer.descr Sstt.Printer.t ->
  unit

val print_dyn : Stdlib.Format.formatter -> unit -> unit