Closed mattam82 closed 7 months ago
Add a way to control the presence of primitive ints/floats or arrays in terms (useful for correctness statements about translations which do not yet support arrays, or any primitive types).
Add a way to control the presence of primitive ints/floats or arrays in terms (useful for correctness statements about translations which do not yet support arrays, or any primitive types).