> Wow, for some reason I though that local wasn't allowed at the > structure level. Just not around signatures and functors, which are topdecs in the grammar (as opposed to structures, which are strdecs).