9 lines
182 B
Plaintext
9 lines
182 B
Plaintext
# Automatically generated; edit in Sphinx source code, not here.
|
|
module Test;
|
|
|
|
import spicy;
|
|
|
|
public type Foo = unit {
|
|
x: int8 &requires=($$ < 5);
|
|
on %done { print self; }
|
|
}; |