Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package bap-knowledge
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Property accessor.
Properties are accessed by slots. A slot is a first-class record field. Slots are declarative, each new declaration of a slot creates a new instance. Slot names should be unique - it is not allowed to have two slots with the same name, even if they belong to different classes.
To declare a new slot of a class use the Class.property function. This module enables slot introspection.
type ('a, 'p) t = ('a, 'p) slotval desc : ('a, 'p) slot -> stringdesc slot the slot documentation.