datalog: Use more specific types

GaloisInc / cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.

https://galoisinc.github.io/cclyzerpp/

BSD 3-Clause "New" or "Revised" License

134 stars 15 forks source link

Closed langston-barrett closed 1 year ago

langston-barrett commented 1 year ago

They're more meaningful to readers of the code, and help improve type safety.