63bd022001-06-08Martin Stjernholm // 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.