(manual-page 'name "fac"
    (form "(fac n)")
    (description (span "The" (em "factorial function") _ "." "Also known as n!"))
    (precondition "n >= 0")
    (parameters
     (parameter  'name "n" "An integer")
    )
    (returns "n * (n-1) * ... * 1")
)