4.9 Types reference

This section lists all types and their corresponding lattices, including their top values, bottom values, and greatest lower bound operations. Type synonyms (Bool, Ints, Map, Valency) are included.

• Bool: Bool
• Card: Card
• Domain: Domain
• Integer: Integer
• Integers: Intgers
• List: List
• Map: Map
• Record: Record
• Set (accumulative): Set (accumulative)
• Set (intersective): Set (intersective)
• String: String
• Tuple: Tuple
• Valency: Valency