S (imandra-tools.Imandra_tools.Region

include TY_SIG with type ty = TY.ty

type ty = TY.ty

val to_json_ty : ty -> Yojson.Basic.t

val decode_ty : ty Decoders_yojson.Basic.Decode.decoder

type c

val map : 
  ( ( ty, c ) Region_pp_intf.node -> ( ty, c ) Region_pp_intf.node ) ->
  c ->
  c

val compare : 
  ( ( ty, c ) Region_pp_intf.node ->
    ( ty, c ) Region_pp_intf.node ->
    Region_pp_intf.comparison ) ->
  c ->
  c ->
  Region_pp_intf.comparison

val to_json : 
  ( ( ty, c ) Region_pp_intf.node -> Yojson.Basic.json ) ->
  ty ->
  c ->
  Yojson.Basic.json

val decode : 
  ( ty, c ) Region_pp_intf.node Decoders_yojson.Basic.Decode.decoder ->
  c Decoders_yojson.Basic.Decode.decoder