void platform_write_digital_pin(int pin, int value);
platform_write_digital_pin writes the state of a pin that's configured to be a digital output. This function is fast and does no error checking whatsoever: it is the client's responsibility to use this function correctly.
On some platforms, writing to a pin configured as a digital input may have undesirable effects, such as turning pull-ups on or off. None of the examples written by Rowley Associates will write to a digital output pin in anything other than digital output mode.