100644 blob 0da99aefae87b4ebead992a7d1ce9f08255d12e9	TypeChecker.java
040000 tree 85b89ede25c01e81564a5ed98eab7bfcc60bf395	constant
040000 tree 5790b9dc1a583a9abea2f9e4efb7a89843db0322	type