% @(#)$Id: c_pred.lsl,v 1.2 1997/01/27 20:35:17 leavens Exp $
c_pred(Loc,T): trait
  assumes TypedObj(Loc,T)
  introduces
    constraint_pred: Loc[T], State, State -> Bool

[Index]

HTML generated using lcpp2html.