Module Region_json.Make

Create a new json pprinter with the given custom node extensions

Parameters

module S : SIG with type ty = TY.ty

Signature

module PP : Region_pp_intf.PP_SIG with type custom = S.c with type ty = TY.ty

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