Module Engine.Matcher

type match_kind =
  1. | Postcondition of string
  2. | Fold of string
  3. | FunctionCall of string
  4. | Invariant
  5. | LogicCommand
  6. | PredicateGuard
val match_kind_to_yojson : match_kind -> Yojson.Safe.t
val match_kind_of_yojson : Yojson.Safe.t -> match_kind Ppx_deriving_yojson_runtime.error_or
type recovery_tactic =
  1. | Try_fold of string * Gillian.Gil_syntax.Expr.t list
  2. | Try_unfold of string * Gillian.Gil_syntax.Expr.t list
val recovery_tactic_to_yojson : recovery_tactic -> Yojson.Safe.t
val recovery_tactic_of_yojson : Yojson.Safe.t -> recovery_tactic Ppx_deriving_yojson_runtime.error_or
module type S = sig ... end
module Make (State : SState.S) : S with type state_t = State.t and type err_t = State.err_t