Annotation Type LessThanBottom


The bottom type in the LessThan type system. Programmers should rarely write this type.