Arduino - Retrieve value at boot

1

As per the documentation, we can get update on value change like this :

thing["led"] << [](pson& in){
  digitalWrite(10, in ? HIGH : LOW);
};

But the value is not read on boot.

Is there a shorthand on the Arduino side for the REST API GET function?
I would like to get the last led state on boot.

Thanks!