gillian » Gillian » General » Exec_err

Module General.Exec_err

type ('value, 'state_err) t =

1. | EProc of 'value
   (*

   Incorrect procedure identifier

   *)
2. | EState of 'state_err
   (*

   Memory Error

   *)
3. | ECleanUp
4. | ELeak
5. | EFailReached of{
   1. fail_code : string;
   2. fail_params : 'value list;
   }

val to_yojson :
  'value 'state_err. ('value -> Yojson.Safe.t) ->
  ('state_err -> Yojson.Safe.t) ->
  ('value, 'state_err) t ->
  Yojson.Safe.t

val of_yojson :
  'value 'state_err. (Yojson.Safe.t ->
                       'value Ppx_deriving_yojson_runtime.error_or) ->
  (Yojson.Safe.t -> 'state_err Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  ('value, 'state_err) t Ppx_deriving_yojson_runtime.error_or

val _ :
  (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  (Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  ('a, 'b) t Ppx_deriving_yojson_runtime.error_or

val pp : 'a Fmt.t -> 'b Fmt.t -> Stdlib.Format.formatter -> ('a, 'b) t -> unit