node arduino_puzzle(red,blue:bool) returns (led1,led2,led3,led4,led5:bool);
let
  led1,led2,led3,led4,led5=puzzle1(fedge(red), fedge(blue));
tel