ivy/ite1.ivy в quic23 - ivy - Git

9 строки

80 B

XML

Исходник Постоянная ссылка Ответственный История

 #lang ivy1.7
 type t
 action a(x:t) = {
      x := (pout.val) if true else 0;
 }