Natural_deduction : Cli.options_of_string

let rec options_of_string_list (options : Main.t_options) (string_list : string list) : Main.t_options =
        match string_list with
        |[] -> options
        |hd::tl -> options_of_string_list (options_of_string options hd) tl