Lines Matching refs:extension
127 - The "extension registry", a vector of popular objects that can be pushed
1439 # Access the extension registry (predefined objects). Akin to the GET
1448 doc="""Extension code.
1456 In order to guarantee pickle interchangeability, the extension
1461 extension registry, and the object at that index is pushed on the stack.
1470 doc="""Extension code.
1481 doc="""Extension code.
