Ticket #29 (new enhancement)

Opened 6 years ago

Check well-formedness of bound witnesses in letregion

Reported by: benl Owned by:
Priority: minor Milestone:
Component: Build System Version:
Keywords: Cc:

Description

The source to core translation shouldn't create malformed witnesses, but we should check them in core anyway.

Note: See TracTickets for help on using tickets.