sig
  type config = Config.config
  type statistic = Statistic.statistic
  type literal = Term.literal
  type state = State.state
  type choice_point = State.choice_point
  type bound = Bound.bound
  type guiding_step =
      Left of Jumping.literal
    | Right of Jumping.literal
    | Split of Jumping.literal
  type guiding_path = Jumping.guiding_step list
  type jumping
  val create :
    Jumping.config ->
    Jumping.statistic -> Jumping.state -> Jumping.bound -> Jumping.jumping
  val jump : Jumping.jumping -> Jumping.choice_point option
  val finished : Jumping.jumping -> bool
  val replay : Jumping.jumping -> Jumping.state -> Jumping.guiding_path
  val guiding_path_to_string : Jumping.guiding_path -> string
end