blob: 48da0119ed72b4caa24ddaf51b3739bd9a63614f (
plain)
1
2
3
4
5
6
7
8
9
10
|
concrete LiteralsCnc of Literals = {
lincat S = Str ;
lin IsString x = x.s ++ "is string" ;
lin IsInteger x = x.s ++ "is integer" ;
lin IsFloat x = x.s ++ "is float" ;
lin IsEq x = x.s ++ "=" ++ x.s ;
}
|