Function varisat::lit::strategy::var

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