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)