// @(#)$Id: fact_liberal.lh,v 1.6 1997/06/03 20:30:03 leavens Exp $

extern int fact_liberal(int n) throw();
//@ behavior {
//@   uses FactorialTrait;
//@   ensures liberally result = factorial(n);
//@   example liberally n = 3 /\ result = 6;
//@   example liberally n = -2 /\ result = 1;
//@   example liberally false;
//@ }

[Index]

HTML generated using lcpp2html.