This is what a specification looks like:

http://ceylon-lang.org/documentation/1.1/spec/html_single/