let print_ret (Ret(b)) = "Ret(" ^ (print_bType b) ^ ")"