[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[no subject]



would bind x with initial value (plus a b) and type flonum, and
would bind u, v, and w to the car, cadr, and caddr of (foo a b c)
and declare them to have the types indicated.