Package-level declarations

Primitive: Given an object type and an A_Atom that is a field of that type (and not an explicit-subclass atom), create a function that will extract that field from an object satisfying that type.

Primitive: Extract the specified field from the object.

Primitive: Extract the specified field's type from the object type.

Primitive: Convert a map from fields to values into an object.

Primitive: Convert a map from fields (instance types of atoms) to types into an object type.

Primitive: Convert an object into a map from fields to values.

Primitive: Answer the field assignments of the specified object. A field assignment is a 2-tuple whose first element is an atom that represents the field and whose second element is its value.

Primitive: Convert an object type into a map from fields' type to types.

Primitive: Answer the field definitions of the specified object type. A field definition is a 2-tuple whose first element is an atom that represents the field and whose second element is the value user-defined object type.

Primitive: Given an object, extract the field corresponding to the A_Atom saved in the sole outer variable.

Primitive: Assign a name to a user-defined object type. This can be useful for debugging.

Primitive: Unbind a name from a user-defined object type. This can be useful for removing the effect of P_RecordNewTypeName when unloading a module.

Primitive: Convert a tuple of field assignment into an object. A field assignment is a 2-tuple whose first element is an atom that represents the field and whose second element is its value.

Primitive: Convert a tuple of field definitions into an object type. A field definition is a 2-tuple whose first element is an atom that represents the field and whose second element is the value type.

Primitive: Answer the set of locally-most-specific user-assigned names for the specified user-defined object type.