Let value_of and value_of_rec return expressions#1872
Merged
rok-cesnovar merged 8 commits intostan-dev:developfrom May 15, 2020
Merged
Let value_of and value_of_rec return expressions#1872rok-cesnovar merged 8 commits intostan-dev:developfrom
rok-cesnovar merged 8 commits intostan-dev:developfrom