In the Bindings of Types for Definitions defined in Concepts, the types are bound to Void rather than the correct type.
I.e., Z might map to Void rather than Integer_Theory.Z, as it should.
A notable example is min_int and max_int in Integer_Theory.
Log in to post a comment.