[][src]Type Definition fil_types::sector::InteractiveSealRandomness

type InteractiveSealRandomness = Randomness;