let ltype_ptr lty = match lty with
| Ctype t -> Ctype (ctype_ptr t)
| _ -> let str = Pretty_utils.sfprintf "%a" !Ast_printer.d_logic_type lty in
let str = ("don't know how to build a pointer type from: "^str) in
raise (Unsupported str)