Module Gillian_result.Exc
exception Gillian_internal_error of {
msg : string;
additional_data : Yojson.Safe.t option;
}
val internal_error :
?additional_data:(string * Yojson.Safe.t) list ->
string ->
exn
val verification_failure : ?loc:Location.t -> string -> exn