For now, as for refactoring range constraints, I would just change the type of acRange to Map a (Set (SysVar i)) as we don't know the proper abstraction for lookups yet
Maybe the proposed approach would work, but I don't like that this way the information about available lookups will bubble up to the user and they will need to specify it in order to use Symbolic
For now, as for refactoring range constraints, I would just change the type of
acRangetoMap a (Set (SysVar i))as we don't know the proper abstraction for lookups yet Maybe the proposed approach would work, but I don't like that this way the information about available lookups will bubble up to the user and they will need to specify it in order to use Symbolic