generated at
2/22/2025, 1:02:35 AM
Liquid types
https://goto.ucsd.edu/~rjhala/liquid/liquid_types.pdf
https://arxiv.org/abs/2207.04034
rust