Function recursive 

pub fn recursive<Q: HasWith>(recursive: bool) -> impl Mod<Q>

WITH RECURSIVE rather than WITH.

A property of the whole list, not of one entry: it is what makes every name in the list visible to every entry.