Called before the execution of a primitive. The S-expression is a representation of the primitive call, for instance
val after_prim : t -> ( 'a, 'b ) Prim.t -> ( 'b, exn * Printexc.raw_backtrace ) result -> ( 'a, 'b ) prim_token -> unit
Called after the execution of a primitive, with the result.
Register a user exception, i.e. when a
val output : t -> string -> unit
val enter_sub : t -> unit
Shexp tries to linearize the trace as much as possible. When an execution parameter is changed locally, such as in
(chdir ...) >>= ..., a sub context is entered.
val leave_sub : t -> unit