% @(#)$Id: FactorialTrait.lsl,v 1.1 1995/06/12 20:39:34 leavens Exp $
FactorialTrait: trait
  includes int
  introduces factorial: int -> int
  asserts
   \forall n: int
      factorial(n) == if n <= 0 then 1 else n * factorial(n-1)

[Index]

HTML generated using lcpp2html.