definition

open fun definition(): String