io.github.graphglue.definition.extensions