popl25 This repository contains the technical appendix accompanying the paper Generic Refinement Types and a snapshot of Flux used for the submission.