Module Ketrew_explorer (.ml)

module Ketrew_explorer: sig .. end
The “Target Explorer™“


The “Target Explorer™“
type t 
val create : client:Ketrew_client.t -> unit -> t
val explore : t ->
(unit,
[> `Client of Ketrew_client.Error.t
| `Database of Trakeva.Error.t
| `Database_unavailable of string
| `Failure of string
| `IO of
[> `Read_file_exn of string * exn | `Write_file_exn of string * exn ]
| `Missing_data of string
| `System of [> `File_info of string ] * [> `Exn of exn ]
| `Target of [> `Deserilization of string ] ])
Ketrew_unix_io.Deferred_result.t
explore ~client exploration_states runs a read-eval loop to explore and interact with targets.