code: def check_dev_correct_formatting(device):
      assert device[0:3] in ["gpu", "tpu", "cpu"]
      if device != "cpu":
          assert device[3] == ":"
          assert device[4:].isnumeric()
  
imports: import ivy
label_desc: Use image node_id 23 for calling a global function with example usage: check_dev_correct_formatting(device) without return types