Summary

public StateToken PushSeed(int newSeed)

Returns

StateToken

Parameters