Closed GoogleCodeExporter closed 9 years ago
@SH: I have just committed the types. Feel free to rename Predicate to
SemanticPredicate if you feel that's safer for the future.
Original comment by richard.eckart
on 16 Nov 2012 at 9:08
Original comment by richard.eckart
on 21 Feb 2013 at 9:51
Also added a corresponding assertion to AssertAnnotations. I think we can
consider this done.
Original comment by richard.eckart
on 8 Apr 2013 at 10:23
Original issue reported on code.google.com by
richard.eckart
on 16 Nov 2012 at 9:07