ivy/passtype.ivy в quic23 - ivy - Git

11 строки

78 B

XML

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

 #lang ivy1.6
 type t
 action foo(y:t) = {
 }
 action bar = {
     call foo(t)
 }