method
private
is_Warning () =
Parameter_map
.is_true
Warn
.name other_optionTbl