1
2 Inductive = Gfp + Prod + Sum
2 Inductive = Gfp + Prod + Sum +
3
4 setup InductivePackage.setup
5
6 end