added type annotation to defaxon