Module Util.AttemptSource

Sourcetype failtrace =
  1. | Failtrace of Source.region * unit -> string * failtrace list
Sourcetype 'a attempt =
  1. | Ok of 'a
  2. | Fail of failtrace list
Sourceval depth_of : failtrace -> int
Sourceval fail : Source.region -> string -> 'a attempt
Sourceval fail_silent : 'a attempt
Sourceval choose_sequential : (unit -> 'a attempt) list -> 'a attempt
Sourceval nest : Source.region -> string -> 'a attempt -> 'a attempt
Sourceval short_window : int
Sourceval region_line : string -> Source.region -> string
Sourceval string_of_failtrace : indent:string -> run:int -> root:bool -> last:bool -> bullet:string -> failtrace -> string
Sourceval string_of_failtraces : indent:string -> run:int -> failtrace list -> string
Sourceval string_of_failtraces_short : failtrace list -> string