Tracer.CallTracerRead
val build_calltrace :
('a -> 'a list -> 'a) ->
(int -> ('a * int) option Tezos_base.TzPervasives.tzresult Lwt.t) ->
'a Tezos_base.TzPervasives.tzresult Lwt.t
build_calltrace end_call get_next
rebuilds a call trace. end_call node list
adds a list of calls to a node, and get_next i
gets the data (node,depth)
at line i
in storage.
This is left relatively generic to facilitate testing the algorithm.
val build_calltraces :
('a -> 'a list -> 'a) ->
(int -> ('a * int) option Tezos_base.TzPervasives.tzresult Lwt.t) ->
'a list Tezos_base.TzPervasives.tzresult Lwt.t