Package axoloti.attributedefinition