Module Region_json.PPrinter

Default pprinter with no custom nodes

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

Parent pprinter

val node_to_json : PP.node -> Yojson.Basic.json

Serialize node to json

val to_json : ?unify:PP.Unifier.unifier -> ?refine:PP.refiner -> unit -> Imandra_surface.Modular_region.t -> Yojson.Basic.json

PPrint region to json

  • parameter unify

    optional unifier heuristic

  • parameter refine

    optional refiner heuristic

val node_decoder : PP.node Decoders_yojson.Basic.Decode.decoder
val decoder : (PP.node list * PP.node) Decoders_yojson.Basic.Decode.decoder