Error (mavkit-l2-libs.Mavkit_smart

val trace_lwt_with : 
  ('a,
    Stdlib.Format.formatter,
    unit,
    'b Lwt.t ->
    'b Mavryk_base.TzPervasives.tzresult Lwt.t)
    Stdlib.format4 ->
  'a

val trace_lwt_result_with : 
  ('a,
    Stdlib.Format.formatter,
    unit,
    'b Mavryk_base.TzPervasives.tzresult Lwt.t ->
    'b Mavryk_base.TzPervasives.tzresult Lwt.t)
    Stdlib.format4 ->
  'a