4 lines
No EOL
108 B
Text
4 lines
No EOL
108 B
Text
type s = C (int)
|
|
|
|
fun : int -> s
|
|
fromr (n : int) = C<> (n, (\(u : unit) -> fromr (n + 1) : unit -> s)) |