Next: , Previous: , Up: expander specs   [Index]


15.9.6 Record object–type specifications

The following syntactic bindings are exported by the library (vicare expander).

Record Type: <record-type-spec>

Name of type specifications for record–type. Instances of this type are generated by the syntax define-record-type.

Function: record-type-spec? obj

Return #t if obj is an instance of <record-type-spec>; otherwise return #f.

Function: record-type-spec.rtd-id ots
Function: record-type-spec.rcd-id ots

Return the syntactic identifier bound to the record–type descriptor or record–type constructor descriptor.

Function: record-type-spec.parent-and-child? ots1 ots2

Return #t if ots1 and ots2 represent parent and child object–types (respectively); otherwise return #f. Return #f if the operands represent the same object–type.