Module type 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

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