...
1.1 Refering to Generic Parameter types in Spec lang [1]
...
| 代码块 |
|---|
native name_of<T>();
spec schema name_of {
forall t: type...
} |
1.2 Don’t check generic “struct” constraints in spec scheme [1]
Example:
| 代码块 |
|---|
spec schema FooSchema<T> {
aborts_if exists<T>(0x123);
} |
TODO: Describe it later