% @(#)$Id: SortNames.lsl,v 1.2 1997/01/27 21:04:28 leavens Exp $
% A reification of sort names in LSL
SortNames(S, SORTNAME): trait
  introduces 
    sort_of: S -> SORTNAME
  asserts
    \forall s, s1: S
      sort_of(s) == sort_of(s1);


[Index]

HTML generated using lcpp2html.