1 2 3 4 5 6 7 8 9 10
abstract Literals = { cat S ; fun IsString : String -> S ; IsInteger : Int -> S ; IsFloat : Float -> S ; IsEq : Int -> S ; }