AltSysrq

// This is not the "normal" way to use proptest.
// Please see https://github.com/AltSysrq/proptest/pull/123 for more context.

use std::collections::BTreeSet;

use proptest::prelude::*;
use proptest::test_runner::{TestRunner, TestRng, RngAlgorithm};
use proptest::strategy::ValueTree;

#[derive(Clone, Copy, Debug)]