Yingbo Ma
Results
231
comments of
Yingbo Ma
The implementation detail of make_term has nothing to do with TermInterface. Just call promote_symtype there to be correct, otherwise, this PR is not acceptable.