15.9.21 Ancestor-of type specifications

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

Record Type: <ancestor-of-type-spec>

Name of type specifications representing the ancestors of a type specification.

Function: make-ancestor-of-type-spec ots

Build and return a new instance of <ancestor-of-type-spec>. The argument ots must be an instance of <object-type-spec> representing the type specification of which we want to describe the ancestors.

Function: ancestor-of-type-spec? obj

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

Function: ancestor-of-type-spec.item-ots ots

Return the type specification of which ots describes the ancestors.

Function: ancestor-of-type-spec.ancestor-ots* ots

Return a list of type specifications representing the ancestors. The head of the list is the parent type specification.