Build and return a new type descriptor.
Compose start and past/last into a range. This function validates the arguments to make sure the resulting range is valid.
Return a clone of range.
Build and return a new domain. The list of item/range may be the
empty list or a mixed list of items and ranges. See
%domain-add-range for details.
Return a newly allocated domain holding a copy of domain.
Add the single value obj to domain, return the new domain. The returned domain may share some structure with domain. If obj does not satisfy the item? function of type: An assertion violation is raised.
obj is interpreted as lower limit of a range and the item-next function of type is used to generate the corresponding upper limit. If generating the next item fails: An assertion violation is raised.
Add range to domain, return the new domain. The returned domain may share some structure with domain.
range is a pair of items; it is interpreted as double–closed
(vicare containers one-dimension-cc) and as half–open
(vicare containers one-dimensionc-co).