Module Gillian_result.Exc

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