% @(#)$Id: IsaSquare.lsl,v 1.4 1997/07/25 22:49:22 leavens Exp $
IsaSquare: trait
  includes IsaRectangle, IsaRhombus
  introduces
    isaSquare: Arr[Vector] -> Bool
  asserts
    \forall e: Arr[Vector]
      isaSquare(e) == isaRectangle(e) /\ isaRhombus(e);

[Index]

HTML generated using lcpp2html.