feldspar-compiler-0.7: Compiler for the Feldspar language
Feldspar.Compiler.Imperative.FromCore.SizeProp