add a docstring for the defengine macro