Module Wpst_interp.Stmt_exec_result

type t =
  1. | Normal
  2. | Continue
  3. | Break
  4. | Goto of Symbol_std.t
  5. | Case of Soteria_c_lib.Typed.T.sint Typed.t
  6. | Returned of Aggregate_val.t * Soteria_c_lib__Interp.Ctype.ctype
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string