Record.Introspection

class HasFieldNames a

class HasFieldDims a

class HasFieldSizes a