ivy/test/ite1.ivy

9 строки
80 B
Plaintext
Исходник Постоянная ссылка Обычный вид История

2018-11-23 22:35:19 +03:00
#lang ivy1.7
type t
action a(x:t) = {
x := (pout.val) if true else 0;
}