Reopened: Extend input declarations in Z# to support structs#219

alex-ozdemir merged 4 commits intocircify:mastercircify/circ:masterfrom

lorenzorota:extend-input-declarationslorenzorota/circ:extend-input-declarationsCopy head branch name to clipboard