Type Definition proptest_arbitrary::MappedS

type MappedS<'a, I, O> = SMap<StrategyType<'a, I>, SFnMap<I, O>>;

A static map from a strategy of I to O.