let rec print_vars fmt = function | [] -> () | [a] -> let s = Hstring.view a in let s = if dmcmt then (String.sub s 1 (String.length s - 1)) else s in if dmcmt then fprintf fmt "_%s" s else fprintf fmt "%s" s | a::r -> let s = Hstring.view a in let s = if dmcmt then (String.sub s 1 (String.length s - 1)) else s in if dmcmt then fprintf fmt "_%s%a" s print_vars r else fprintf fmt "%s, %a" s print_vars r