val connect_err : string -> ?max:int -> int -> 'a
val terminal : unit -> bool
val pp_opt : string -> string option Fmt.t
val pp_label : string -> string option Fmt.t
val pop :
err:(unit -> string option * string list) ->
'b option ->
string list ->
string option * string list
val pop_and_check_empty :
err:(unit -> string option * string list) ->
'b option ->
string list ->
string option