Async_interactive.Choice
type +'a t
val create : char -> 'a -> string -> 'a t
val default : 'a t -> 'a t