100644 blob f612fc55045e99775480d1ba68f693ca4210ff8b	AnnotatedMethod.java
100644 blob d690f1fba2d94396b2d7571c56a1d3b63b3d69a7	ContractProvider.java
100644 blob 2bfa75472c72439987fcfe68329ec664ad70208f	NameBound.java
100644 blob 126621aeb9fbb16d057c7b0ebbb91f93df2a65a1	Parameter.java
100644 blob 77b3d808c62fa26f32f0382b9477937ed4c48604	Scoped.java
040000 tree bdb892ebf1491eb0ac23dacf4ec3cacfb41c3d1a	internal
100644 blob 2ae9c7cb3f5197dcdc5203f318a75604efd5a6ac	package-info.java