mirror of
https://github.com/SpaceVim/SpaceVim.git
synced 2025-02-23 02:31:32 +08:00
4 lines
38 B
Plaintext
4 lines
38 B
Plaintext
|
module Test {
|
||
|
|
predicate test() {}
|
||
|
|
}
|