method
private
is_DoDivMod () =
Parameter_map
.is_true
DoDivMod
.name gen_optionTbl