Prover (beluga.Harpoon.Prover)

exception Prover_error of exn

val process_command : 
  (Beluga_parser.Parser.Disambiguation_state.state
   * Beluga.Index_state.Indexing_state.state
   * HarpoonState.t
   * HarpoonState.substate) ->
  Beluga_syntax.Location.t ->
  string ->
  unit

Executes a single Harpoon interactive command on the given state. May raise a Prover_error.