Vocabularyclasses.builtinInputs and outputs| n | a non-negative integer |
| class | a class |
Word descriptionOutputs a builtin class whose instances are precisely those having a given pointer tag.
NotesThe parameter
n must be between 0 and the return value of
num-types.
Definition