sig
  val wrap_monitor :
    Processing_context.processing_context ->
    Monitoring_context.phase -> ('a -> 'b) -> 'a -> 'b
  val start_monitor_call :
    Processing_context.processing_context ->
    Monitoring_context.call_kind -> string -> unit
  val end_monitor_call : Processing_context.processing_context -> unit
  val start_monitor_external_call :
    Processing_context.processing_context -> string -> unit
  val end_monitor_external_call :
    Processing_context.processing_context -> unit
  val monitor_of_last_call :
    Processing_context.processing_context -> Physical_value.item list
  val monitor_of_all_calls :
    Processing_context.processing_context -> Physical_value.item list
  val serialize_monitor : Processing_context.processing_context -> unit
end