Module Engine.Matcher

type match_kind =
  1. | Postcondition
  2. | Fold
  3. | FunctionCall
  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
module type S = sig ... end
module Make (State : SState.S) : S with type state_t = State.t and type err_t = State.err_t