2399
2400
2401
2402
2403
2404
2405
2406
2407
2408
2409
2410
2411
2412
2413
|
2399
2400
2401
2402
2403
2404
2405
2406
2407
2408
2409
2410
2411
2412
2413
|
-
+
|
/*
*----------------------------------------------------------------------
*
* DupLambdaInternalRep, FreeLambdaInternalRep, SetLambdaFromAny --
*
* How to manage the internal representations of lambda term objects.
* Syntactically they look like a two- or three-element list, where the
* first element is the formal arguments, the second is the the body, and
* first element is the formal arguments, the second is the body, and
* the (optional) third is the namespace to execute the lambda term
* within (the global namespace is assumed if it is absent).
*
*----------------------------------------------------------------------
*/
static void
|