# Discrete total orders.
interface Discrete
-special Comparable
+ super Comparable
redef type OTHER: Discrete
# Native integer numbers.
# Correspond to C int.
universal Int
-special Discrete
+ super Discrete
redef type OTHER: Int
redef fun object_id is intern
# Characters are denoted with simple quote.
# eg. 'a' or '\n'.
universal Char
-special Discrete
+ super Discrete
redef type OTHER: Char
redef fun object_id is intern