Generics / given

Use given to require a bound on a type parameter.

Example.kalm kalm
pub fun stringify<T>(item: T) -> Text given T: java.lang.Comparable<T>:
    return item.toString()

Learn more.