Read the Button connected to Raspberry Pi Pico and toggle the status of LED.

Raspberry-Pi-Pico-Read-Button.py

#Import Pin class from machine library to configure GPIO Pins.
from machine import Pin
#Import utime library to implement delay
import utime
#create an object of Pin class and set GPIO Parameters (GPIO Pin, Direction).
ledPin = Pin(16, Pin.OUT)
buttonPin = Pin(15, Pin.IN, Pin.PULL_DOWN)
#Create an infinite loop. This is similar to while(1) in C.
while True:
    if buttonPin.value() == 1:
        utime.sleep_ms(20)
        ledPin.toggle()

Line 10: if buttonPin.value():

any content other than 0 and False is Truth in Python