% @(#)$Id: i_pred.lsl,v 1.1 1997/01/27 20:33:15 leavens Exp $
i_pred(Loc,T): trait
  assumes TypedObj(Loc,T)
  introduces
    invariant_pred: Loc[T], State -> Bool

[Index]

HTML generated using lcpp2html.