Type Definition InteractiveSealRandomness
fil_types::sector
type InteractiveSealRandomness = Randomness;