Closed bmourad01 closed 1 year ago
For convenience, we can convert a BIL type to a Core Theory sort.
Thanks!
For convenience, we can convert a BIL type to a Core Theory sort.