Region_json (imandra-tools.Imandra_tools.Region

module type TY_SIG = sig ... end

module type SIG = sig ... end

Custom node extensions

module type PP_SIG = sig ... end

A Custom node pprinter

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

Create a new json pprinter with the given custom node extensions

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

Default pprinter with no custom nodes

val to_json : Imandra_surface.Modular_region.t -> Yojson.Basic.json

PPrint region to json using the default pprinter

module String_conv : TY_SIG with type ty = string