S (imandra-tools.Imandra_tools.Region

type ty = TY.ty

type c

Type of custom symbolic node

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

Map f over custom symbolic nodes

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

Symbolic comparison of custom symbolic nodes

val print : 
  ( Stdlib.Format.formatter -> ( ty, c ) Region_pp_intf.node -> unit ) ->
  focus:string ->
  Stdlib.Format.formatter ->
  c ->
  unit

t printer