System.GPIO.Tutorial
data Pin
data PinValue
data PinActiveLevel
data PinDirection
data PinInputMode
data PinOutputMode
data PinInterruptMode
data PinCapabilities
data InputPin h
data InterruptPin h
data OutputPin h
data TutorialEnv
type TutorialReaderGpioIO a