Spin.Prompt_cfgval string_cfg_of_sexp : Sexplib0.Sexp.t -> string_cfgtype list_cfg = {name : Base.string;prompt : Base.string;values : Base.string Base.list;default : Base.string Base.option;}val list_cfg_of_sexp : Sexplib0.Sexp.t -> list_cfgval confirm_cfg_of_sexp : Sexplib0.Sexp.t -> confirm_cfgval get_context_or_prompt :
global_context:Global_context.t Base.option ->
t Base.List.t ->
(string * Jingoo.Jg_types.tvalue) list * t listval prompt_config :
?use_defaults:bool ->
t ->
Base.string * Jingoo.Jg_types.tvalueval apply_template_to_cst :
t ->
models:(Base.string * Jingoo.Jg_types.tvalue) Base.list ->
tval prompt_configs :
?use_defaults:bool ->
?global_context:Global_context.t Base.option ->
t Base.list ->
(Base.string * Jingoo.Jg_types.tvalue) Base.List.t