зеркало из https://github.com/microsoft/ivy.git
14 строки
83 B
Plaintext
14 строки
83 B
Plaintext
|
#lang ivy1.7
|
||
|
|
|
||
|
|
type t = struct {
|
||
|
|
}
|
||
|
|
|
||
|
|
var x : t
|
||
|
|
|
||
|
|
action a = {
|
||
|
|
x := 0
|
||
|
|
}
|
||
|
|
|
||
|
|
export a
|
||
|
|
|