let rec convert_initializer ~env = function CTTinitExp e -> PinitExp(convert_expr ~env e) | CTTinitList l -> PinitList(List.map (convert_initializer ~env) l)