Definitions for "Derandomizer"
is a function that decodes randomized signals. See Randomizer.