# graphis

inspects OCaml heap values and lowers the reachable object graph to
graphviz DOT

![graphis heap graph](docs/readme-graph.svg)

## api

the capture context is the alias analysis boundary. values captured through the same context share one address table so repeated physical values lower to the same node and cycles terminate through the visited set

```ocaml
Graphis.context (fun ctx ->
  let shared = [| "left"; "right" |] in
  let root = shared, shared in
  Graphis.print_dot Format.std_formatter
    [ "root", Graphis.capture ctx root ])
```

the same graph can be written as DOT for graphviz

```ocaml
Graphis.context (fun ctx ->
  let shared = [| "left"; "right" |] in
  let root = shared, shared in
  Graphis.write_dot "heap.dot"
    [ "root", Graphis.capture ctx root ])
```