Region_pp_intf.SIG
Custom node extensions
type ty
type c
Type of custom symbolic node
val map : ( ( ty, c ) node -> ( ty, c ) node ) -> c -> c
Map f over custom symbolic nodes
f
val compare : ( ( ty, c ) node -> ( ty, c ) node -> comparison ) -> c -> c -> comparison
Symbolic comparison of custom symbolic nodes
val print : ( Stdlib.Format.formatter -> ( ty, c ) node -> unit ) -> focus:string -> Stdlib.Format.formatter -> c -> unit
t printer
t