22 lines
322 B
Plaintext
22 lines
322 B
Plaintext
general {
|
|
funcon-term:
|
|
initialise-giving finalise-failing
|
|
sequential (
|
|
print set(),
|
|
print {1},
|
|
print {1,2,3},
|
|
print cast({1,2}, sets(integers))
|
|
)
|
|
;
|
|
}
|
|
|
|
tests {
|
|
result-term: null-value;
|
|
standard-out: [
|
|
set(),
|
|
{1},
|
|
{1, 2, 3},
|
|
{1, 2}
|
|
];
|
|
}
|