let get_model_option () = let model = Wp_parameters.Model.get () in match model with | 0 -> Some M0 | 1 -> Some M1 | 2 -> Some M2 | 3 -> Some M3 | _ -> None