Repl (beluga.Harpoon.Repl)

module Disambiguation_state =
  Beluga_parser.Disambiguation_state.Disambiguation_state

module Indexing_state = Beluga.Index_state.Indexing_state

val start : 
  (Disambiguation_state.state Beluga_syntax.Id.Prog.Hashtbl.t
   * Disambiguation_state.state) ->
  (Indexing_state.state Beluga_syntax.Id.Prog.Hashtbl.t * Indexing_state.state) ->
  Options.save_mode ->
  Options.interaction_mode ->
  string ->
  string list ->
  Beluga_syntax.Synint.Comp.open_subgoal list ->
  Io.t ->
  unit

The input prompt for the Harpoon toplevel. See main.ml and linenoise library document for details.