Region_pp (imandra-tools.Imandra_tools.Region

module Make
  (TY : Region_pp_intf.TYPE_CONV)
  (S : Region_pp_intf.SIG with type ty = TY.ty) : 
  Region_pp_intf.PP_SIG with type custom = S.c and type ty = TY.ty

Create a new pprinter with the given custom node extensions

module String_conv : Region_pp_intf.TYPE_CONV with type ty = string

module PPrinter : 
  Region_pp_intf.PP_SIG with type custom = unit and type ty = string

Default pprinter with no custom nodes

val print : Stdlib.Format.formatter -> Imandra_surface.Modular_region.t -> unit

Print a region using the default pprinter

val to_string : Imandra_surface.Modular_region.t -> string

Return a string representation of a pprinted region