writeInt static method

void writeInt(

)

Push an int32 in the header

Implementation

static void writeInt(EventSink<List<int>> out, int val) {
  out.add([val >> 0, val >> 8, val >> 16, val >> 24]);
}