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
module type S = sig ... end
module Make (State : SState.S) : S with type state_t = State.t and type err_t = State.err_t