modelファイル中で、リソース状態の型を指定できるようにした。 out payment(p:Int, purchase(x)) == x のように。 #10

Merged y-ota merged 1 commit into nitta-lab:master from nitta-lab:methodBodyGen on 1 May 2020

n-nitta commented on 1 May 2020

リソース状態の型を指定できるようにしたので、確認をお願いします。

y-ota referenced the pull request on 1 May 2020

Merged by user

y-ota merged commit 4199ee6 into master from methodBodyGen on 1 May 2020

y-ota closed this pull request on 1 May 2020

Labels

Priority

No priority

Milestone

No milestone

Assignee

No one

2 participants