type t
=
|
Confirm
(** Can exit without match by typing, or by completing and then confirming *)
Confirm_after_completion
(** Can exit without match *)
False
(** Cannot exit without match unless the input is nil *)
Require_match_or_null
(** Cannot exit without match *)
True
Must input match a completion candidate?