let rec print_cttm_initializer = function
CTTMinitExp e -> print_mexpr e
| CTTMinitList l ->
let rec continue = function
[] -> ""
| i::[] -> print_cttm_initializer i
| i::l -> (print_cttm_initializer i)^", "^(continue l)
in
"{"^(continue l)^"}"