Module Jenga_lib.Reportable.Error

Reportable.Error.t is a reportable error

type t

module Id : sig ... end

Reportable.Error.Id.t is a reportable error handle; used as a key for removal

val create : Goal.t ‑> Reason.t ‑> t

Create a new Reportable.Error.t from a Goal.t and Reason.t

val id : t ‑> Id.t

id t return the unique handle of the error

val contents : t ‑> [ `Command_failed of Job_summary.t | `Internal of string list ]

contents t is the contents of t

val goal_string : t ‑> string

goal_string t is the goal_string of t

val directory : t ‑> Path.Rel.t

directory t is the directory of t