1
  
2
  
3
  
4
  
5
  
6
  
7
  
8
  
9
  
10
  
11
  
// Pike core things that don't belong anywhere else. 
// 
// $Id: Pike.pmod,v 1.1 2001/06/08 14:26:38 mast Exp $ 
 
constant WEAK_INDICES = __builtin.PIKE_WEAK_INDICES; 
constant WEAK_VALUES = __builtin.PIKE_WEAK_VALUES; 
constant WEAK = WEAK_INDICES|WEAK_VALUES; 
//! Flags for use together with @[set_weak_flag] and @[get_weak_flag]. 
//! See @[set_weak_flag] for details.