lib(shadow_cons)

   A library implementing shadow, or 'local', constraint stores

