Records.Generic

Subtype relationship

class Subtype sub sup

Magic lens

class HasField field a s

Getter and setter

getField

setField