package owee

  1. Overview
  2. Docs
type location = Owee_location.t

WIP, a tool for generating explicit graphs out of marked objects

type 'a trace =
  1. | Trace of int * string * 'a list * 'a trace list lazy_t
val dump_trace : location trace list -> unit
val dump_graphviz : location trace list -> out_channel -> unit
val extract_trace : ?search_depth:int -> 'a -> location trace list
OCaml

Innovation. Community. Security.