Top

Class-type

Class-type-package

This is a product type, introduced by fty::deftagsum in support of class-type.

Fields

package — package-name
name — tidentifier
arguments — type-argument-list

Subtopics

Make-class-type-package: Basic constructor macro for class-type-package structures.
Class-type-package->arguments: Get the arguments field from a class-type-package.
Class-type-package->package: Get the package field from a class-type-package.
Class-type-package->name: Get the name field from a class-type-package.
Change-class-type-package: Modifying constructor for class-type-package structures.