Module Symex.Or_gave_up

type 'err t =
  1. | E of 'err
  2. | Gave_up of string
val pp : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
val unwrap_exn : 'a t -> 'a