Annotate module implementation