Module Async_interactive

val interactive : bool Core.ref

val print_string : string ‑> unit Async.Deferred.t

val print_endline : string ‑> unit Async.Deferred.t

val printf : ('r, unit, string, unit Async.Deferred.t) Core.format4 ‑> 'r

val prints : string ‑> 'a ‑> ('a ‑> Async.Sexp.t) ‑> unit Async.Deferred.t

val print_s : Async.Sexp.t ‑> unit Async.Deferred.t

val ask_dispatch_gen : f:(string ‑> ('a, string) Core.Result.t) ‑> string ‑> 'a Async.Deferred.t

module Choice : sig ... end

val ask_dispatch_with_help : ?show_options:bool ‑> string ‑> 'a Choice.t list ‑> 'a Async.Deferred.t

ask_dispatch_gen question choices displays question and gets user input to select one of the choices. At most once choice can be the default choice.

val ask_yn : ?default:bool ‑> string ‑> bool Async.Deferred.t

val ask_ynf : ?default:bool ‑> ('a, unit, string, bool Async.Deferred.t) Core.format4 ‑> 'a

val show_file : ?pager:string ‑> ?msg:string ‑> file:string ‑> unit ‑> unit Async.Deferred.t

module Job : sig ... end