Module Engine.Recovery_tactic

type 'a t = {
  1. try_fold : 'a list option;
  2. try_unfold : 'a list option;
}
val pp : 'a Fmt.t -> Stdlib.Format.formatter -> 'a t -> unit
val try_fold : 'a list -> 'a t
val try_unfold : 'a list -> 'a t
val none : 'a t
val merge : 'a t -> 'a t -> 'a t
val is_none : 'a t -> bool