add

fun add(definition: Definition)(source)