- Logger.verbose fmt "@[%s%s: [" sub msg;
- Format.pp_open_vbox fmt (2 + String.length msg + String.length sub);
- if len <= 1 then
- Logger.verbose fmt
- "@\n\
-| Time : %fms@\n\
-| Memory before: %a@\n\
-| Memory after: %a@\n]@]@]@\n"
- tmin
- System.pr_mem_status memo
- System.pr_mem_status memn