On Mon, 13 Apr 2015, Johannes Hölzl wrote: > BTW, can the predicate_compiler setup s.t. typedefs are ignored > automatically? Is there anybody who understands that aspect of the predicate compiler? Makarius