Module Utils.Gillian_result

module Error : sig ... end
module Exc : sig ... end
type 'a t = ('a, Error.t) Stdlib.result
val analysis_failures : Error.analysis_failure list -> ('a, Error.t) Stdlib.result
val analysis_failure : ?loc:Location.t -> string -> ('a, Error.t) Stdlib.result
val compilation_error : ?additional_data:Yojson.Safe.t -> ?loc:Location.t -> string -> ('a, Error.t) Stdlib.result
val operation_error : string -> ('a, Error.t) Stdlib.result
val internal_error : ?additional_data:Yojson.Safe.t -> ?backtrace:string option -> string -> ('a, Error.t) Stdlib.result
val to_error_code : ('a, Error.t) Stdlib.result -> int
val try_ : (unit -> ('a, Error.t) Stdlib.result) -> ('a, Error.t) Stdlib.result
val merge : ?merge_ok:('c -> 'b -> 'c) -> ('c, Error.t) Stdlib.result -> ('b, Error.t) Stdlib.result -> ('c, Error.t) Stdlib.result

"Merges" two results by selecting the error with highest precedence. If both results are AnalysisFailures, they are properly merged. If both results are Ok, takes the result of merge_ok, which takes the first value by default

val should_continue : ('a, Error.t) Stdlib.result -> bool