Download patch
ref: 89c49739f36b4e8fa6f1eaa0e506e1f67900e8e5 parent: a61cdcb7496036b21256a5008465ad03583bc8d4 author: Ori Bernstein <ori@eigenstate.org> date: Mon Sep 10 07:08:50 EDT 2012
Bind type parameters in names.