Function varisat::lit::strategy::lit

pub fn lit<impl Strategy>(
    index: impl Strategy
) -> impl Strategy<Value = Lit> where
    impl Strategy: Strategy<Value = usize>,