Какъв е идиомът на Ceylon за указване, че дадена функция не е внедрена? Често искам да видя дали дизайнът ще се проверява на типа, преди да мине през проблемите с внедряването на всички функции. Предполага се, че това означава тялото да изведе...